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

4324 Commits (c32c9a9a445e4a1a570d88d55b3795100259c816)
 

Author SHA1 Message Date
dehnert c9c5f562a5 removed rename composition, because it is just a special case of synchronization vectors
8 years ago
sjunges 3892fb923a Merge branch 'gspn' into jani_gspn_support
8 years ago
sjunges 09ea2d680e fixed if statement to program graph, added dot output for program graphs, added variable bounds, added settings to work with that, and usability of program graphs improved
8 years ago
dehnert 02f545c54d standard system composition of JANI models now only use synchronization vectors on the topmost level
8 years ago
sjunges 693b4d3657 A little bit more convenience operators
8 years ago
sjunges 6a635c75c1 A little bit of cleaning in pgcl
8 years ago
dehnert 0c3b163a14 bugfix in unsynchronized action combination
8 years ago
dehnert 3504d09500 added quite some debug output to see where things are going wrong
8 years ago
dehnert 675b7bb207 added proper check for undefined constants when building explicit JANI models in non-parametric mode
8 years ago
dehnert ef0e1fe0ea more support for Markov automata in symbolic JANI builder and some bugfixes
8 years ago
sjunges 1db826c0e2 recursive parallel composition support in im and export
8 years ago
dehnert 874da01731 started to implement symbolic MA generation based on JANI
8 years ago
sjunges 2aa715d62f initial support for compositions - not done yet
8 years ago
sjunges b113400870 Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
8 years ago
sjunges 423c616432 annoying warning in smtlibsolver
8 years ago
sjunges 42c37ce8b1 pgcl entry point update
8 years ago
sjunges c06ae6528c builders from pgcl to jani updated
8 years ago
sjunges b3204a178a check validity, set standard composition
8 years ago
sjunges 66dc106322 check whether assignment is deterministic
8 years ago
sjunges 148fa0c762 several extensions to program graphs
8 years ago
PBerger 9bfb41b2be Added local flags in cpp files to disable std::cout flooding.
8 years ago
PBerger 2799412a4d Removed some commented out code and make things compile again.
8 years ago
PBerger b8b9481461 Merged in my changes to make it work!
8 years ago
PBerger 6105448d42 Merge branch 'menu_games' of https://sselab.de/lab9/private/git/storm into menu_games
8 years ago
sjunges 77d0bbcd8a Constructor for EdgeDestinations taking OrderedAssignments
8 years ago
sjunges 72e457cc2d hasRestrictedInitiialStates convenience
8 years ago
PBerger 8d2df5413f Works, but slow as hell.
8 years ago
dehnert 23db124807 extended and enhanced debug output a bit
8 years ago
dehnert bba69684c9 reworked explicit Markov automaton generation a bit
8 years ago
PBerger 1a7d269228 Set Sylvan Thread Count to 1.
8 years ago
PBerger 4b95f72a0a Re-applied all necessary fixes. Things that work: Some DTMCs, emptyset MDPs.
8 years ago
dehnert d519674573 Merge branch 'rewards_in_jani' into jani_support
8 years ago
dehnert 36e07006f9 added test for legality check of synch vectors
8 years ago
ThomasH 86c87ad6d1 add argument parsing & help output
8 years ago
PBerger dc1aea83ed Added --trace and logging in general to functional tests.
8 years ago
dehnert e7e1978958 Merge branch 'rewards_in_jani' into jani_support
8 years ago
dehnert d22d1daaa6 adapted more tests
8 years ago
dehnert ba35120683 fixing problems as a consequence of moving from PRISM programs to SymbolicModelDescription
8 years ago
dehnert 62ca16b20a alpha-draft of synchronization vectors in JANI
8 years ago
ThomasH fa94302b2b add pnml export
8 years ago
dehnert 1dc4af0e28 switched from empty virtual destructors to default destructors. Also: apparently no swimming for me, Mr. B!
8 years ago
dehnert d2af83a98a fixed some bugs here and there
8 years ago
dehnert a14ee4f2c3 DD-based JANI model builder compiling again after change to synchronization vectors
8 years ago
dehnert de6d03b2b6 even closer to make synchronization vectors work with DD-based builder
8 years ago
sjunges 4418b85466 Updated parser
8 years ago
sjunges 98a1a531c2 Silent actions fixed; probability exported correctly.
8 years ago
PBerger 1985c708ea Revert back to older version ae0e423a4e [formerly e3f9d7a533]
8 years ago
PBerger bdf415d416 Added fancy tests.
8 years ago
sjunges deaaa91c37 Expressions & Destinations Assignments
8 years ago
sjunges 79c9dbcfda OrderedAssignments
8 years ago