Mavo
|
714f89542d
|
Tests running again
Former-commit-id: eee3ef32f5
|
9 years ago |
hbruintjes
|
49393e3980
|
Fix shared_ptr cast type in pybind
Former-commit-id: d5c95f4975
|
9 years ago |
hbruintjes
|
726a97f977
|
Update pybind to latest
Former-commit-id: 52f76bea6e
|
9 years ago |
hbruintjes
|
da4c101a43
|
Use sparse model for parametric models
Former-commit-id: 622694c0b6
|
9 years ago |
hbruintjes
|
225f1e1334
|
Fix module names and import
Former-commit-id: daa4c50427
|
9 years ago |
hbruintjes
|
1b17e9a693
|
Update core, builder returns model directly
Former-commit-id: a30dffa37d
|
9 years ago |
hbruintjes
|
46e305cd89
|
Update CMake files for stormpy
Former-commit-id: 403fa972be
|
9 years ago |
hbruintjes
|
697c30e048
|
Use CMake to generate setup.cfg for include and library paths
Former-commit-id: 45f1e210d4
|
9 years ago |
Mavo
|
ad057e7c1d
|
Example path independent from calling dir
Former-commit-id: 3e9161f2c8
|
9 years ago |
Mavo
|
ab6b481d78
|
Initialize settings
Former-commit-id: 1f7a643559
|
9 years ago |
Mavo
|
c2f3ebbd63
|
(Hopefully) fixed row iterator
Former-commit-id: 72eacb4c7a
|
9 years ago |
Mavo
|
f86695aee1
|
Forget package for storage
Former-commit-id: 35744da4b3
|
9 years ago |
Mavo
|
0fdfdeb5d6
|
ParametricSparseMatrix
Former-commit-id: 2d201a6d58
|
9 years ago |
Mavo
|
6835ce853a
|
Small refactoring
Former-commit-id: d56214abaf
|
9 years ago |
Mavo
|
fdada2c60f
|
Using return_value_policy::reference
Former-commit-id: f1a8431e86
|
9 years ago |
Mavo
|
32dc776616
|
Model checking results for all states
Former-commit-id: ae76c76543
|
9 years ago |
Mavo
|
2da3e6eaad
|
Python iterators for models
Former-commit-id: 44ea006d62
|
9 years ago |
Mavo
|
5b638bbf94
|
Workaround for problems with def_property() by changing to simple def()
Former-commit-id: b457d861c9
|
9 years ago |
Mavo
|
c99e4de754
|
Updated pybind11
Former-commit-id: 67536bae05
|
9 years ago |
Mavo
|
88c6604ef5
|
Moved files
Former-commit-id: b512663379
|
9 years ago |
Mavo
|
a7d8e6e1f4
|
Help for stormpy...
Former-commit-id: 2bcdb635f3
|
9 years ago |
Mavo
|
9e7a697efc
|
Few pybindings for SparseMatrix
Former-commit-id: c6c225f76b
|
9 years ago |
Mavo
|
65105537e8
|
Parse explicit
Former-commit-id: f998de8427
|
9 years ago |
Mavo
|
a06b9f4267
|
Removed hard coded path
Former-commit-id: d18bc5a751
|
9 years ago |
Sebastian Junges
|
d246517757
|
removed src prefix in all includes
|
8 years ago |
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
|
f2ad4781fe
|
Distincting between supportsParameters and hasParameters
Former-commit-id: a5d961f470
|
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
|
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
|
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
|
37043fd745
|
Current status of core
Former-commit-id: 235b8376e7
|
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
|
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 |
sjunges
|
aad97116e0
|
overwrite build model by some method which applies the downcast directly
Former-commit-id: f796834082
|
9 years ago |
sjunges
|
7cf2446501
|
minimal version for stormpy expressions, some questions should be resolved first (regarding to manager)
Former-commit-id: 18c0d094c2
|
9 years ago |
sjunges
|
21e678b59c
|
stormpy logic and using dynamic boost::python version
Former-commit-id: 6b203a4d6d
|
9 years ago |
sjunges
|
ae18ef8003
|
refactored construction of python modules
Former-commit-id: 779fdf6e4c
|
9 years ago |
sjunges
|
98e3226fd1
|
first version of stormpy (we can parse a prism program)
Former-commit-id: dc13d7f183
|
9 years ago |