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

4605 Commits (7cdc34bdc48601c6294a1ecfd9ecd936896639bb)
 

Author SHA1 Message Date
sjunges 148fa0c762 several extensions to program graphs
10 years ago
PBerger 9bfb41b2be Added local flags in cpp files to disable std::cout flooding.
10 years ago
PBerger 2799412a4d Removed some commented out code and make things compile again.
10 years ago
PBerger b8b9481461 Merged in my changes to make it work!
10 years ago
PBerger 6105448d42 Merge branch 'menu_games' of https://sselab.de/lab9/private/git/storm into menu_games
10 years ago
sjunges 77d0bbcd8a Constructor for EdgeDestinations taking OrderedAssignments
10 years ago
sjunges 72e457cc2d hasRestrictedInitiialStates convenience
10 years ago
PBerger 8d2df5413f Works, but slow as hell.
10 years ago
dehnert 23db124807 extended and enhanced debug output a bit
10 years ago
dehnert bba69684c9 reworked explicit Markov automaton generation a bit
10 years ago
PBerger 1a7d269228 Set Sylvan Thread Count to 1.
10 years ago
PBerger 4b95f72a0a Re-applied all necessary fixes. Things that work: Some DTMCs, emptyset MDPs.
10 years ago
dehnert d519674573 Merge branch 'rewards_in_jani' into jani_support
10 years ago
dehnert 36e07006f9 added test for legality check of synch vectors
10 years ago
ThomasH 86c87ad6d1 add argument parsing & help output
10 years ago
PBerger dc1aea83ed Added --trace and logging in general to functional tests.
10 years ago
dehnert e7e1978958 Merge branch 'rewards_in_jani' into jani_support
10 years ago
dehnert d22d1daaa6 adapted more tests
10 years ago
dehnert ba35120683 fixing problems as a consequence of moving from PRISM programs to SymbolicModelDescription
10 years ago
dehnert 62ca16b20a alpha-draft of synchronization vectors in JANI
10 years ago
ThomasH fa94302b2b add pnml export
10 years ago
dehnert 1dc4af0e28 switched from empty virtual destructors to default destructors. Also: apparently no swimming for me, Mr. B!
10 years ago
dehnert d2af83a98a fixed some bugs here and there
10 years ago
dehnert a14ee4f2c3 DD-based JANI model builder compiling again after change to synchronization vectors
10 years ago
dehnert de6d03b2b6 even closer to make synchronization vectors work with DD-based builder
10 years ago
sjunges 4418b85466 Updated parser
10 years ago
sjunges 98a1a531c2 Silent actions fixed; probability exported correctly.
10 years ago
PBerger 1985c708ea Revert back to older version ae0e423a4e [formerly e3f9d7a533]
10 years ago
PBerger bdf415d416 Added fancy tests.
10 years ago
sjunges deaaa91c37 Expressions & Destinations Assignments
10 years ago
sjunges 79c9dbcfda OrderedAssignments
10 years ago
sjunges c8f2fc1df1 Added location names to destinations, added action names to edges, added types to constants
10 years ago
sjunges a1e13b4c0a First version of JSON exporter, export is not ocmplete (destination assignments, edge assignments, edge action names, destination locations, expressions(!), sync are missing)
10 years ago
sjunges 20eaac6918 Convenience function in model and automaton, building explicit mappings (independent of implementation)
10 years ago
sjunges 1557983f8b Jani Export settings and code
10 years ago
sjunges cd338eb8e3 hasMultipleLevel for orderedassignments
10 years ago
sjunges a7ff22bd49 Added to_string for ModelType
10 years ago
dehnert f616bf606b adapted JANI parallel composition class to synchronization vector usage
10 years ago
sjunges 5eac1e22ce Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
10 years ago
sjunges b2ca743422 ProgramGraph->Jani (only locations & variables)
10 years ago
sjunges 6f0a26e593 JaniExportSettings
10 years ago
sjunges 6f12a81505 program graph
10 years ago
Mavo fba2071e9f Dft exploration via NextStateGenerator
10 years ago
sjunges 8f8ef1564b Builder for ProgramGraphs, for now, ignores actions.
10 years ago
sjunges 5485abe1ef Added pgcl to jani option in the settings
10 years ago
dehnert 24e89ecce6 properly scaling state-action rewards for DTMCs in JANI model now
10 years ago
dehnert ce5ca9d1ce added proper action reward handling to JANI next-state generator
10 years ago
sjunges 2356e4a7af Good old const correctness added to all pgcl structs.
10 years ago
dehnert 99badd02c5 more work towards JANI reward models
10 years ago
sjunges c527646ddb Added convenience operator overloads for more readable code :)
10 years ago