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

3180 Commits (f2f555270831021ab3fce38ee067d3df3c47c552)
 

Author SHA1 Message Date
sjunges ef24368fcc JaniParser:
9 years ago
sjunges 926d7730e5 JaniParser:
9 years ago
sjunges 39fc4f4f2f Modeltype:
9 years ago
sjunges 2901269909 Model:
9 years ago
sjunges 91f8ecf17c Small class for actions
9 years ago
sjunges db4fdd473c JaniParser: parse automaton name and locations
9 years ago
sjunges 7fcf598e86 Automaton: Retrieve location id by name
9 years ago
sjunges 435bf79c2d some minor extension
9 years ago
sjunges 0c2ed877b6 merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
9 years ago
sjunges 121cfe4d93 rough skeleton for the parser, v1
9 years ago
dehnert 568cda29ed more jani modelling stuff
9 years ago
sjunges 4df9984b87 added bare minimum for parser calls
9 years ago
sjunges afbc4aff2a unsupported model exception added to exceptions
9 years ago
sjunges ae759d0496 Fixed compile error in output function
9 years ago
dehnert f1eaa92a1b added constants, added custom iterator to variable set
9 years ago
dehnert d38e7d5eb9 started working on jani data structures
9 years ago
dehnert 7d03f0e4d0 improved error checking for custom parallel composition. added small tests.
9 years ago
dehnert bf65ef726c system composition in PRISM appears to be working
9 years ago
sjunges a4687ad230 json parser 3rdparty
9 years ago
sjunges 8ca362848c stubs for model and automatons
9 years ago
sjunges cd2a24ba2d src group for storage/jani
9 years ago
sjunges 20511b142a json parser added to link path
9 years ago
sjunges 9a841a2bde Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
9 years ago
sjunges 16e20ced0b stub for jani parser
9 years ago
dehnert 4c4e830a4c started on supporting renaming/hiding in PRISM models
9 years ago
dehnert 1df8a5c7cc parallel composition (full, restricted, interleaving) for PRISM appears to work, added some more sanity checks for parallel composition
9 years ago
dehnert 4e97d294b3 fixed bug in composition
9 years ago
dehnert ebb47aaa13 working on making model composition in PRISM work again
9 years ago
sjunges 330bbfcf5e jani examples
9 years ago
sjunges 621dbbb925 Merge branch 'future' into jani_support
9 years ago
Mavo eeb0f620ec STORM_DEVELOPER mode introduced
9 years ago
Mavo 929a694a64 Fixed typo
9 years ago
dehnert cf1c0a6009 got rid of some spirit warnings
9 years ago
Mavo c8521f0de3 Changed more assert to STORM_LOG_ASSERT
9 years ago
Mavo 5eaa46c7de More refactoring
9 years ago
Mavo 1b6137cc5d Changed some assert to STORM_LOG_ASSERT
9 years ago
dehnert 9db10e7849 added all composition operators of PRISM
9 years ago
Mavo fc255c4aa3 Merge from future
9 years ago
dehnert 6f35091c16 Merge branch 'future' into jani_support
9 years ago
dehnert 81b4fa6b9b added composition specification to PRISM program
9 years ago
Mavo 9d3dd10008 Merge branch 'future' into python_pybind
9 years ago
Mavo cdab073305 Model checking binding
9 years ago
Mavo 24955d1111 Binding for labels
9 years ago
Mavo 2243b02845 cout -> LOG
9 years ago
Mavo f2ad4781fe Distincting between supportsParameters and hasParameters
9 years ago
sjunges 366eb181e7 Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
10 years ago
Mavo 22053e63a9 Bisimulation
10 years ago
Mavo e9c657f88c SetUp when importing stormpy
10 years ago
Mavo 4e86667b46 Refactoring
10 years ago
Mavo f500600ee6 Removed old python bindings
10 years ago