Sebastian Junges
|
6e55f64a14
|
Add constructor for BooleanLiteralFormula
|
7 years ago |
Matthias Volk
|
bbbdbd6c69
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy
|
7 years ago |
|
Matthias Volk
|
19f8d47202
|
Fixed import problem in tests when storm-pars is not available
|
7 years ago |
|
Sebastian Junges
|
716c6be910
|
extended getting started with the model type
|
7 years ago |
|
Sebastian Junges
|
a96fda66fc
|
Fix installation guide
|
7 years ago |
|
Matthias Volk
|
14eedd6ca3
|
Skip tests if submodules are not supported
|
7 years ago |
|
Matthias Volk
|
d365b00de8
|
Raise StormError
|
7 years ago |
|
Matthias Volk
|
70e1985ad0
|
Raise StormError if symbolic description has undefined constants
|
7 years ago |
|
Matthias Volk
|
1197155d8d
|
Binding for undefined_constants_are_graph_preserving
|
7 years ago |
|
Matthias Volk
|
d26202c402
|
Base class for storm exceptions
|
7 years ago |
|
Matthias Volk
|
ddae1c8c80
|
Test (currently) unsupported jani property
|
7 years ago |
|
Matthias Volk
|
24571195cd
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy
|
7 years ago |
|
Matthias Volk
|
5021d8b8ea
|
Updated changelog
|
7 years ago |
|
Matthias Volk
|
fda8003bc5
|
Tests for model checking jani file
|
7 years ago |
|
Matthias Volk
|
29cfa574b8
|
Bindings for instantiating constants in SymbolicModelDescriptions
|
7 years ago |
|
Sebastian Junges
|
e1ad468963
|
extended example 06
|
7 years ago |
|
Sebastian Junges
|
36b16e0ccb
|
Fix indention in getting started docs
|
7 years ago |
|
Matthias Volk
|
219b342da5
|
Test for jani property
|
7 years ago |
|
Matthias Volk
|
6e126e5641
|
Bindings for JANI
|
7 years ago |
|
Matthias Volk
|
77debd6847
|
Install sphinx_bootstrasp_theme in travis for generating docs
|
7 years ago |
|
Matthias Volk
|
25e222ded0
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy
|
7 years ago |
|
Sebastian Junges
|
400f02d3e1
|
add link to examples folder
|
7 years ago |
|
Sebastian Junges
|
c66c6552c8
|
added links in getting started
|
7 years ago |
|
Sebastian Junges
|
a6712ba672
|
05 getting started should be 06 getting started
|
7 years ago |
|
Sebastian Junges
|
d78cf41b96
|
Change to bootstrap theme
|
7 years ago |
|
Matthias Volk
|
2c81318030
|
Bindings for storm versions
|
7 years ago |
|
Sebastian Junges
|
a2903b197b
|
include imported members
|
8 years ago |
|
Sebastian Junges
|
1513c2162c
|
example for iterating over the matrix
|
8 years ago |
|
Sebastian Junges
|
9f9b704611
|
slightly extended test in model instantiator
|
8 years ago |
|
Matthias Volk
|
8c122e11cb
|
Run all tests in travis
|
8 years ago |
|
Matthias Volk
|
7d5fa6edc5
|
Updated changelog
|
8 years ago |
|
Matthias Volk
|
039427b541
|
Check storm version
|
8 years ago |
|
Matthias Volk
|
72cb102013
|
Test for model instantiation
|
8 years ago |
|
Matthias Volk
|
e13df9b2ec
|
Formatted tests according to PEP
|
8 years ago |
|
Matthias Volk
|
f6f28b4621
|
Make config from info available
|
8 years ago |
|
Matthias Volk
|
9a73e0cd45
|
Use stormpy definitions of pycarl types in tests
|
8 years ago |
|
Matthias Volk
|
d78c86a746
|
Removed type in getting_started
|
8 years ago |
|
Matthias Volk
|
12b934267e
|
Refactored documentation examples according to PEP
|
8 years ago |
|
Matthias Volk
|
8b2a11ad42
|
Added docs to methods in lib
|
8 years ago |
|
Matthias Volk
|
3fda6ba227
|
Get stormpy version similar to pycarl
|
8 years ago |
|
Sebastian Junges
|
2459fdfab9
|
Link to travis with a build passing image.
|
8 years ago |
|
Sebastian Junges
|
13d8d6f5ca
|
run doctest on getting started
|
8 years ago |
|
Sebastian Junges
|
9dfd1b3615
|
getting started can now be checked by doctest
|
8 years ago |
|
Sebastian Junges
|
aed4dffd13
|
make sure that examples are run when running tests
|
8 years ago |
|
Sebastian Junges
|
201aaa115d
|
make sure examples run through again
|
8 years ago |
|
Matthias Volk
|
2b12983572
|
Updated Changelog
|
8 years ago |
|
Matthias Volk
|
66da4e5463
|
Made expression module part of storage module
|
8 years ago |
|
Matthias Volk
|
e4c53a47c9
|
Changed README
|
8 years ago |
|
Matthias Volk
|
540a3f4e0c
|
Refactored constraint collector
|
8 years ago |
|
Matthias Volk
|
e27a6f5265
|
Added bindings for RegionResultHypthesis
|
8 years ago |
