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

9493 Commits (d67579cdb40831a5d029d11ab456c73955b586ce)
 

Author SHA1 Message Date
dehnert 0cd148c600 fixed more bugs. however, a test still fails, because the abstraction is wrong
10 years ago
dehnert e8794dee22 added more tests, not working yet, however
10 years ago
dehnert 5934d67514 DD meta variables can now be inserted at particular locations. added some tests for game abstraction
10 years ago
dehnert 8911d2ba63 added debug output and fixed some bugs
10 years ago
dehnert 88bcd7d74c deadlock states now get fixed in abstract game
10 years ago
dehnert 7f767993c6 Merge branch 'future' into menu_games
10 years ago
dehnert a8f89c3875 fixed cmake file
10 years ago
dehnert f1d9e65db7 Merge branch 'future' into menu_games
10 years ago
dehnert 15b97057dd silenced some warnings within boost (new clang version) and fixed an unused variable issue
10 years ago
dehnert 75632f932d added state-set abstractor as a means to, e.g., derive the initial states BDD
10 years ago
dehnert 97c90d5437 added correct insertion of probabilities into BDD and reachability analysis
10 years ago
dehnert c6f1cb40d3 more work on games
10 years ago
TimQu 3059711619 Merge branch 'master' into TimParamSysAndSMT and minor stuff
10 years ago
dehnert 3bc629561e Merge branch 'future' into menu_games
10 years ago
dehnert 50296571f5 Merge branch 'master' into future
10 years ago
dehnert deec423f27 fixed infinite recursion in constants comparator
10 years ago
dehnert 1198951c3e more work on game abstraction of PRISM programs
10 years ago
TimQu d26f38b9a2 minor stuff, some more pmdp examples and an mdp test case
10 years ago
TimQu 4bbccd1ec6 Merge branch 'master' into TimParamSysAndSMT
10 years ago
TimQu adc5c8d1c1 Fixed another memory leak: CheckResults have not been destructed properly.
10 years ago
TimQu 77e086f446 small fix regarding the return type of computeValue
10 years ago
dehnert f013ddfb4c The determined relevant predicates are now added to the SMT solver of an abstract command. Also, variable bounds are enforced.
10 years ago
TimQu f72c30cdff First version of approximation model (with mdp intead of s2pg)
10 years ago
TimQu c94e9c25a6 Added Mdp Region checking in storm.h, Some STORM_LOG_DEBUGs, fixes for sampling to work on Mdps
10 years ago
TimQu 78bd4a041a Added Mdp class, sampling might work already (untested)
10 years ago
dehnert b28f36bb34 work on game-based abstraction
10 years ago
dehnert 36e8359efa added some useful functions to variable partition
10 years ago
dehnert fd5e908481 more work on variable partition
10 years ago
dehnert d4ed882795 more work on menu-game abstraction PRISM programs
10 years ago
dehnert 312aa0bd8e Merge branch 'master' into future
10 years ago
TimQu 70dd76c08b Splitted region modelchecker in abstract class and dtmc class (to easily add an mdp class soon)
10 years ago
dehnert e51a3cfa85 refined cut-off of builders a little. Now, based on the property, more of the states are treated as terminal states of the model
10 years ago
dehnert e8e77f0dd3 fixed problem with prefix of fresh variables
10 years ago
sjunges 01f3e0a2cc Merge branch 'future' into python_api
10 years ago
sjunges e8408cdc7b gurobi 6.05 for mac os support - second try
10 years ago
sjunges 4425368e0c gurobi 6.05 for mac os support
10 years ago
sjunges 7db785633b Merge branch 'future' into python_api
10 years ago
sjunges 3a17477713 change engine in options...(preliminary)
10 years ago
sjunges c3e390c59a extended api with an option to verify model according to given engine
10 years ago
sjunges c7f8a653d4 CCache fixed name of option, write info about that in storm-version
10 years ago
sjunges 559cb67813 updates to the stormpy core
10 years ago
sjunges dfa201553f Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
10 years ago
sjunges 73bfdda6ed missing file
10 years ago
sjunges ebdd979d2c settings: checks after config file, added finalize
10 years ago
sjunges 93a0f7f8bb settings: checks after config file, added finalize
10 years ago
TimQu 0043d3ebf5 changed template argument, used unordered_map
10 years ago
dehnert ccad5741a7 added test case for game solver
10 years ago
dehnert e9b5ed52a6 Merge branch 'future' into gamesolver
10 years ago
dehnert 6a80348150 fixed issue related to row groups in sparse matrix and adapted the affected calling sites
10 years ago
sjunges cf999006de Merge branch 'future' into python_api
10 years ago