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

3183 Commits (fdbc0bf694c6f48f1799a5e9686664a5162ae039)
 

Author SHA1 Message Date
dehnert 94fd4cd9a8 fixed bug related to instantaneous reward properties in formula parser
9 years ago
dehnert 2accd81aaa fixed bug in reward generation for PRISM models
9 years ago
dehnert f3701f66fb bugfix for symbolic reachability reward computation
9 years ago
dehnert fd3b8adc00 fixed bug in formula parser
9 years ago
dehnert 6810c0d50f fixed bug in computation of instantaneous rewards on DTMCs
9 years ago
dehnert c88e540a1a fixed bug in graph preprocessing algorithms that support a maximal number of steps
9 years ago
dehnert 2c23b1ed99 fixed bug in sparse DTMC model checker
9 years ago
dehnert cae04c0e20 fixed bug in symbolic quantitative check result
9 years ago
dehnert 71bfb45220 added check for multiple writes to the same global variable in explicit JANI next-state generator
9 years ago
dehnert 7861df4f20 JANI next-state generator appears to be working (without rewards)
9 years ago
dehnert 08112d98aa more work on JANI next state generator and the corresponding tests
9 years ago
dehnert 05fecb03b3 started on introducing multiple initial locations in JANI models
9 years ago
dehnert b62f8819b9 JANI next-state generator can now generate transitions from silent edges
9 years ago
dehnert 000a8c2d77 more work on JANI next-state generator
9 years ago
dehnert 1d3539ab9a factored out some parts from the PRISM next-state generator into the superclass
9 years ago
TimQu 1a18ea3aec fixed the case where a maximal end componend decomposition is requested for an empty subsystem
9 years ago
dehnert 4cc780cbc0 tests compiling and running again
9 years ago
dehnert 4063d88913 added option to build all labels/reward models for next-state generators
9 years ago
dehnert d35c99e844 renamed central model builder function
9 years ago
dehnert 9f6bd1805f modified the entry point code to deal with the new generator-builder-structure
9 years ago
dehnert ddf165d4d3 more work on tearing PRISM-specific functionality out of the explicit model builder
9 years ago
dehnert 6655ee41d8 started to restructure explicit model builder to make it fit for JANI models
9 years ago
dehnert efda4e2950 changed the ordering of operations a bit to get more performance
9 years ago
dehnert ca57e22abc started profiling
9 years ago
dehnert c393449ca6 [fixing] a bug a day keeps insanity away
9 years ago
dehnert 3d4552cbf8 started working on improved JANI model building that still allows for more relaxed rules than PRISM when it comes to writing global variables
9 years ago
dehnert 82023d280d JANI model builder for MDPs is working now, but too slow
9 years ago
dehnert 3919f90712 started debugging JANI MDP building
9 years ago
dehnert a4ef3cf778 added CTMC tests for JANI model builder
9 years ago
dehnert d84ae34cc6 re-enabled omitting unused variables from PRISM models when converting to JANI
9 years ago
dehnert 7750480714 JANI model builder for DTMCs working
9 years ago
dehnert 310db8a234 started to include reachability in JANI model generation
9 years ago
dehnert 32ec106588 more work on symbolic JANI model building
9 years ago
dehnert 6313e4c31b fixed a bug in symbolic model generator
9 years ago
dehnert adf8232896 more work and fixes for symbolic JANI builder
9 years ago
dehnert c4327e91a9 more work on symbolic JANI model builder
9 years ago
dehnert 1c01a54b53 fixed more issues with boost::transform_iterator
9 years ago
hbruintjes 14208d8f58 Fix transform_iterator thingamajig
9 years ago
dehnert 9c75e9dbd7 more work on JANI model generation
9 years ago
dehnert 32dc38b48f some more steps towards symbolic builder for JANI models
9 years ago
dehnert 1892a9657f added some accessor functions and iteration capabilities. started on symbolic jani model builder
9 years ago
dehnert ecc1a80358 added conversion from PRISM to JANI. Added simplistic tests for that.
9 years ago
sjunges 41640bfbd4 JaniParser: several extensions to expressions, probabilities, locations in destinations of edges
9 years ago
sjunges a6aa909a12 convenience functions for operatiosn on expressions
9 years ago
sjunges 813515d546 JaniParser: support for local variables
9 years ago
sjunges 48f2cc156c JaniParser: extended expression parsing
9 years ago
sjunges dd22841682 JaniParser: extended edge parsing
9 years ago
sjunges 9bf5cf15b6 JaniParser: some more expressions, better error messages and prel. stub for edge parsing
9 years ago
sjunges 510d51e5c1 parser support for bounded ints
9 years ago
sjunges 3b5c27acba more test-files included, two small fixes in parser
9 years ago