sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
6241 Commits
2 Branches
0 Tags
187 MiB
Tree: 39698d6ecb
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '39698d6ecb'
${ noResults }
Commit Graph

15 Commits (39698d6ecbe5d33c026259643f9b3566fc60c9c1)

Author SHA1 Message Date
Matthias Volk 99e5619952 Export storm targets
7 years ago
TimQu f90eb4708d fix for boost 1.66
8 years ago
sjunges 12dda40919 split IOSettings in BuildSettings and IOSettings, refactored some dependencies on settings object away if it doesnt hurt too much, moved GSPN and PGCL settings to their own libs
8 years ago
Matthias Volk 349e276c9b Removed include of cpp file in storm-pars-cli and storm-dft-cli
8 years ago
sjunges 66cf4f1d28 Command line access to onlyconstraints for any model type
8 years ago
sjunges b4a8833e3f towards getting rid of code duplication in storm-pars-cli
8 years ago
Sebastian Junges 07fe0a8e3a new target: binaries, compiles all the storm binaries, but not the tests etc
8 years ago
Sebastian Junges b24ba75909 option to only get welldefinedness constraints for a parametric model
8 years ago
TimQu 040c1f0d4c fixed ignoring the hypothesis when not doing refinement
8 years ago
TimQu 48e029dd9d Adapted region settings and CLI to new features.
8 years ago
TimQu 9591157996 new features for storm-pars api:
8 years ago
TimQu c1b4cb848c added missing newlines in the storm-pars cli. Also do not segfault when there is no result
8 years ago
TimQu f2294fadb0 fixed compiling storm-pars cli and improved output a little
8 years ago
TimQu 62d50b336b Moved parametric model simplification inside the Parameter lifting checker
8 years ago
TimQu 62dd371411 storm-pars cli
8 years ago