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 |
|
Mavo
|
12e84178bc
|
Made python bindings more pythony
Former-commit-id: 41d9f4d7fd
|
8 years ago |
|
Mavo
|
8ba459091f
|
Removed whitespace
Former-commit-id: 5a8addef94
|
8 years ago |
|
sjunges
|
305c2b155c
|
fixed a warning about a spurious semicolon
Former-commit-id: 5f4ed7c902
|
8 years ago |
|
sjunges
|
93d000d252
|
Sylvan: Position independent code
Former-commit-id: 25495ef266
|
8 years ago |
|
sjunges
|
803a87e641
|
build carl python bindings with the same python envirionment as is used for storm
Former-commit-id: 7858819462
|
8 years ago |
|
Mavo
|
7a34e7a497
|
Force shared lib when using python
Former-commit-id: eed5d3cfed
|
8 years ago |
|
Mavo
|
4ef0c29857
|
Build pycarl from within storm
Former-commit-id: 817b2429db
|
8 years ago |
|
Mavo
|
7e53f7d084
|
Build python bindings from cmake
Former-commit-id: cd5526ee59
|
8 years ago |
|
Mavo
|
c883efc372
|
Property threshold is RationalNumber now
Former-commit-id: e8a3afbaeb
|
8 years ago |
