Sebastian Junges
|
f95b5f1dc0
|
enable shared from this does not need to be const, in particular, the constness makes python bindings for formulae impossible
|
8 years ago |
|
Sebastian Junges
|
b1ce4acc33
|
export imported carl targets
|
8 years ago |
|
Sebastian Junges
|
9d2f4ace08
|
additional dependent targets as imported libs created
|
8 years ago |
|
Sebastian Junges
|
3ee0490643
|
stormpy moved to a seperate git
|
8 years ago |
|
Sebastian Junges
|
32e27bea41
|
new setup py for stormpy
|
8 years ago |
|
Sebastian Junges
|
b4ce43ca0a
|
carl conf imported, other dependencies declared als import target and exported to storm conf
|
8 years ago |
|
Sebastian Junges
|
d868fd71b8
|
stormpy cmake towards new python build system
|
8 years ago |
|
Sebastian Junges
|
23254f3e62
|
refactoring resource management in storm cmake to allow easier inclusion in other projects
|
8 years ago |
sjunges
|
5583ab1a3b
|
wip: new cmake for stormpy
|
8 years ago |
|
sjunges
|
43d35a0f79
|
storm export config improved
|
8 years ago |
|
sjunges
|
e82ab6c37b
|
pybind resources refreshed
|
8 years ago |
|
sjunges
|
0260eaa7be
|
towards exporting targets for storm to be included in other projects
|
8 years ago |
|
Sebastian Junges
|
82a740a74e
|
storm-dft running again
|
8 years ago |
|
sjunges
|
112fb8f61e
|
moving dfts to their own lib and cli
|
8 years ago |
Tom Janson
|
179c144e56
|
require Python >= 3.0
|
8 years ago |
|
sjunges
|
a844b001f9
|
python has to be found before carl is included in order to pass the python version forward
|
8 years ago |
|
sjunges
|
bca98e7514
|
aclocal and autoreconf seem necessary to configure cudd currently, so check for both
|
8 years ago |
|
sjunges
|
b2dc6cea96
|
better cmake output for found python version
|
8 years ago |
|
sjunges
|
f7d15b882d
|
added compiler version to output of cmake
|
8 years ago |
|
Sebastian Junges
|
c99ca64f86
|
(Python) some simple methods on expressions
|
8 years ago |
|
Sebastian Junges
|
8c77762e72
|
find xercesc is now provided by cmake, so we use that
|
8 years ago |
|
sjunges
|
84dff41287
|
fixed several gcc warnings
|
8 years ago |
|
sjunges
|
5967cdea1e
|
Moved GSPN code to a separate lib
|
8 years ago |
|
Sebastian Junges
|
81f9bcc627
|
gspn dot output fixed
|
8 years ago |
dehnert
|
d5535b19be
|
reverted changing silent action name as JANI identifiers need to be non-empty
|
8 years ago |
|
dehnert
|
a6beda6a82
|
some more fixes to jit model builder
|
8 years ago |
|
dehnert
|
137aa163f2
|
fixed jit builder to not ignore locations
|
8 years ago |
Matthias Volk
|
cd971ba6fe
|
Set correct example path for tests
|
8 years ago |
|
dehnert
|
d5046b6879
|
build cudd with pic so we can build a pic dylib with it
|
8 years ago |
|
dehnert
|
ce988940d0
|
cmake fix for cpptemplate
|
8 years ago |
|
Sebastian Junges
|
ae3394ff5c
|
extended gspn export settigns
|
8 years ago |
|
Sebastian Junges
|
dcaa83d998
|
fixed a series of spurious unused parameter warnings
|
8 years ago |
|
Sebastian Junges
|
04003de854
|
transient unbounded variables must have iniatial value
|
8 years ago |
|
Sebastian Junges
|
a734423e6e
|
gspn builder: name based construction of arcs now passes multiplicities
|
8 years ago |
|
Matthias Volk
|
072b316ad0
|
Changed path for tests,
|
8 years ago |
|
Matthias Volk
|
f474e9cf7b
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm
|
8 years ago |
|
Sebastian Junges
|
e1680afe60
|
added missing file to tests
|
8 years ago |
|
Matthias Volk
|
4e0ce41ee3
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm
|
8 years ago |
|
Sebastian Junges
|
8d125345b3
|
add custom executor for all gtests
|
8 years ago |
|
Matthias Volk
|
865db61018
|
Silence warning by not giving an argument name
|
8 years ago |
|
dehnert
|
5150497e95
|
added another target that copies over (needed) resource headers
|
8 years ago |
|
dehnert
|
637b58b191
|
Adaptions to Jit based model builder due to new functionality of copying headers to include folder
|
8 years ago |
|
dehnert
|
cbd525b40b
|
Cmake adaptions here and there
|
8 years ago |
|
Sebastian Junges
|
5f856ddf18
|
output name for storm pgcl is now applied to storm-pgcl-cli instead of main
|
8 years ago |
|
Matthias Volk
|
6629099260
|
Added testfiles for stormpy
|
8 years ago |
|
Matthias Volk
|
200c23b00a
|
Removed example files
|
8 years ago |
|
Matthias Volk
|
39f981290a
|
Fixed paths for python bindings
|
8 years ago |
|
Matthias Volk
|
b9534b2db3
|
Do not update l3pp
|
8 years ago |
|
Matthias Volk
|
eadf03e3df
|
Forgot merge line
|
8 years ago |
Mavo
|
5e457d3b0f
|
Convert PrismProgram to SymbolicModelDescription
Former-commit-id: 91f9de93d9 [formerly fa5c0246d3]
Former-commit-id: b9947c4b08
|
8 years ago |
