Mavo
|
cdab073305
|
Model checking binding
Former-commit-id: 10a7ebcf81
|
9 years ago |
|
Mavo
|
24955d1111
|
Binding for labels
Former-commit-id: 4b23bee5e4
|
9 years ago |
|
Mavo
|
2243b02845
|
cout -> LOG
Former-commit-id: 8e7ecd3a54
|
9 years ago |
|
Mavo
|
f2ad4781fe
|
Distincting between supportsParameters and hasParameters
Former-commit-id: a5d961f470
|
9 years ago |
sjunges
|
366eb181e7
|
Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
Former-commit-id: d75f0bfaeb
|
9 years ago |
|
Mavo
|
22053e63a9
|
Bisimulation
Former-commit-id: e8cb047c3a
|
9 years ago |
|
Mavo
|
e9c657f88c
|
SetUp when importing stormpy
Former-commit-id: 8e31469f38
|
9 years ago |
|
Mavo
|
4e86667b46
|
Refactoring
Former-commit-id: 0ff9eff43a
|
9 years ago |
|
Mavo
|
f500600ee6
|
Removed old python bindings
Former-commit-id: 1901030769
|
9 years ago |
|
Mavo
|
78b85d9f84
|
Merge branch 'future' into python_pybind
Former-commit-id: 61f9056480
|
9 years ago |
|
Mavo
|
7b2b270579
|
Binding for constraints
Former-commit-id: 8d697c672c
|
9 years ago |
|
Mavo
|
31a548fed4
|
Use shared_ptr<const>
Former-commit-id: 89b3d93d1f
|
9 years ago |
|
Mavo
|
a0d659f2da
|
always use shared_ptr<Formula const>
Former-commit-id: 63a447e887
|
9 years ago |
dehnert
|
fc1567d27e
|
Merge remote-tracking branch 'origin/future' into future
Former-commit-id: 5ac53afb8b
|
9 years ago |
|
dehnert
|
1d56cf0430
|
backported a bugfix
Former-commit-id: 219e8e0e3b
|
9 years ago |
|
dehnert
|
dfbcdead76
|
Merge commit '5934a428980fb37cf0994a90621cc1c084e1013a' as 'resources/3rdparty/sylvan'
Former-commit-id: 61d8a2c331
|
9 years ago |
|
dehnert
|
5934a42898
|
Squashed 'resources/3rdparty/sylvan/' content from commit d91f6ac
git-subtree-dir: resources/3rdparty/sylvan
git-subtree-split: d91f6acb55
|
9 years ago |
|
dehnert
|
818760e0ad
|
removed sylvan version from resources
Former-commit-id: a81c5792d5
|
9 years ago |
|
Mavo
|
c0c5bdcae1
|
Pybind for bisimulation and state elimination
Former-commit-id: 5d3d6e0bb2
|
9 years ago |
|
Mavo
|
317d1dfdad
|
More tests for formulas
Former-commit-id: ef9308a100
|
9 years ago |
|
Mavo
|
7780b22fad
|
Temporary pybind for formula
Former-commit-id: c44d60523a
|
9 years ago |
|
Mavo
|
9396ed4a2e
|
Fixed python after merge
Former-commit-id: 73c1c88a1f
|
9 years ago |
|
Mavo
|
db6df1e880
|
Merge from future
Former-commit-id: 2bb77265a9
|
9 years ago |
|
Mavo
|
37043fd745
|
Current status of core
Former-commit-id: 235b8376e7
|
9 years ago |
|
dehnert
|
86c233f3df
|
fixed bug in sylvan
Former-commit-id: 3f3a3df83d
|
9 years ago |
|
Mavo
|
395fabe867
|
Set_up
Former-commit-id: 5cbfbb3e43
|
9 years ago |
|
Mavo
|
6763871140
|
Current status
Former-commit-id: 067d99e464
|
9 years ago |
|
Mavo
|
0ed3714c90
|
Added test cases
Former-commit-id: c9ea2edfff
|
9 years ago |
|
Mavo
|
c3f9d4cfe0
|
Includes for successful compiling from python
Former-commit-id: 3af33cd206
|
9 years ago |
|
Mavo
|
322e470c89
|
Removed unnecessary std::moves
Former-commit-id: c6436f7873
|
9 years ago |
|
Mavo
|
5fc36c291c
|
Fixed possible infinite recursion
Former-commit-id: 5fdbae4203
|
9 years ago |
|
Mavo
|
fa21792846
|
Started with logic
Former-commit-id: 8f56c593c4
|
9 years ago |
|
Mavo
|
217aacb5dc
|
Transfered expressions
Former-commit-id: 68e95c5f12
|
9 years ago |
|
Mavo
|
4620bd3ca2
|
Refactored info module
Former-commit-id: 9ff28bed73
|
9 years ago |
|
Mavo
|
f3ba29271f
|
Started with transfer to pybind11
Former-commit-id: e9dcc20c7a
|
9 years ago |
hbruintjes
|
59344ada71
|
Remove empty file
Former-commit-id: 858987d8a6
|
9 years ago |
|
hbruintjes
|
2aaa519dfa
|
Temproary workaround for clang/gcc problem: Wrap std::function in a lambda for std::sort
Former-commit-id: 4148e73d69
|
9 years ago |
|
hbruintjes
|
335ad68564
|
Fix cudd autoreconf command
Former-commit-id: 9b301dc23f
|
9 years ago |
|
hbruintjes
|
382c167c10
|
Print package version information
Former-commit-id: 08484d5cc7
|
9 years ago |
|
hbruintjes
|
4c0053d5e7
|
Make the Ginac find package more standard compliant
Former-commit-id: b6176f1d2d
|
9 years ago |
|
hbruintjes
|
7b27fcd68b
|
cudd use autoreconf, set min version to 13.4 which still works
Former-commit-id: d17b923138
|
9 years ago |
|
hbruintjes
|
80430906f0
|
Use GMP is CLN is not found for RationalNumber
Former-commit-id: ba800d8342
|
9 years ago |
|
hbruintjes
|
a3fff6b8f6
|
Look for CLN and GiNaC, enable them if found
Former-commit-id: 45cb58477c
|
9 years ago |
|
dehnert
|
fb216e18d1
|
fixed another issue in expression evaluation
Former-commit-id: e28e1fdf28
|
9 years ago |
|
dehnert
|
bb3e008611
|
added missing include
Former-commit-id: 27295accde
|
9 years ago |
|
dehnert
|
d5e4eae7cb
|
Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
Former-commit-id: 6cb5b0e5e0
|
9 years ago |
|
dehnert
|
fa1ac86ff2
|
fixed evaluation of floor/ceil in expressions
Former-commit-id: c3e64c552e
|
9 years ago |
|
dehnert
|
ed92837f2d
|
Merge branch 'cmake' into future
Former-commit-id: cd4e2e85e7
|
9 years ago |
|
dehnert
|
3476df75e8
|
finally removed log4cplus and affected code parts
Former-commit-id: 2beea8195e
|
9 years ago |
|
dehnert
|
5d9f225f9f
|
fixed serious bug in model generation from PRISM code; can't believe that didn't cause wrong models until now
Former-commit-id: 8fef881161
|
9 years ago |
