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

3609 Commits (df9ff5dfdb3094e4cdaaeb1f15dd98087f3085f7)
 

Author SHA1 Message Date
sjunges 489fd4f780 Die and TwoDie as in the Qapl talk
9 years ago
sjunges ecc74595ba several jani related fixes: IsInitialRestrictionSet(), FormulaContext, minor things
9 years ago
sjunges 435b3084cb Finally, Globally
9 years ago
sjunges 2549b30f3e erge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
9 years ago
sjunges 9faa7539c5 parser
9 years ago
dehnert 0796eea632 implemented the extended filter functions of JANI for the symbolic/hybrid check results
9 years ago
sjunges aa1bdaa9ea Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
9 years ago
sjunges 3daa725bb5 Merge branch 'jani_support' into export_explicit
9 years ago
sjunges ed970d78b1 property support for jani -- several changes throughout code, parser currently only supports probability properties
9 years ago
sjunges 3626c044d3 several improvements towards jani-property support
9 years ago
dehnert 342356ceb1 minor fixes to make storm work with boost 1.62
9 years ago
dehnert 1eed49aa38 Merge remote-tracking branch 'origin/jani_support' into jani_explicit_jit
9 years ago
dehnert 299b2d7a56 some start on JIT-based model builder
9 years ago
sjunges 88ecb60906 numbered actions
9 years ago
sjunges 3ffc93f9b2 label
9 years ago
dehnert 6f663bde0e fixing hwloc entry in CMakeLists.txt
9 years ago
dehnert 282be9612e fixed typo in header inclusion
9 years ago
sjunges b18516668a Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
9 years ago
sjunges 744216d5d2 export formulae
9 years ago
dehnert ccfcbc0c69 fixed hwloc issue even harder
9 years ago
sjunges 6a80319c18 another Hwloc script
9 years ago
sjunges 691ed406d0 Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
9 years ago
sjunges aee1956950 progress towards JANI formula support, fix for gcc
9 years ago
dehnert ba0d81ca52 bugfix for PRISM program: only check initial values of variables if they have one
9 years ago
sjunges 40ea6eeecd pctmc example
9 years ago
sjunges afb01572b9 support for ctmcs
9 years ago
sjunges fb1c738acb Merge branch 'jani_support' into export_explicit
9 years ago
dehnert 91e6bb2999 fixed bug in DD-based JANI model generation related to transient edge assignments
9 years ago
dehnert 011e3fbaa6 fixed bug that introduced transient variables in the state space
9 years ago
sjunges 12a5258a45 second time is a charm
9 years ago
sjunges a265bc49ce check if transient values are actually given before looping over them
9 years ago
sjunges f20e9107ba Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
9 years ago
dehnert 59a92a8941 support for labels in JANI models in sparse and dd engine
9 years ago
sjunges 236a2be0d3 pretty printing of rational functions, rewards in the drn format, option for full build
9 years ago
sjunges ec830adb19 added labels for error in pdtmc/brp
9 years ago
sjunges ae57574d85 first version of explicit format export [mdps/no rewards only currently]
9 years ago
sjunges f0132cf2a5 Bounds & co for pgcl.
9 years ago
dehnert 69a351999c adding cpptemplate library
10 years ago
dehnert a9e01b8698 adding sparsepp as resource to cmake
10 years ago
dehnert 2476b7c254 adding sparsepp as a 3rd-party resource
10 years ago
dehnert 063d06fd66 changed dot to underscore in JANI automaton delimiter
10 years ago
sjunges fd1a241921 more intelligence in pgcl to jani
10 years ago
dehnert f76760441e added check to symbolic JANI model builder
10 years ago
sjunges 3f34438d24 merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
10 years ago
sjunges 2365f62f23 minor updates of parsers
10 years ago
sjunges 7ef857137e tests updated to respect headers now missing in parsers
10 years ago
sjunges e7dc0a049b towards nice pgcl - jani support
10 years ago
sjunges 7c85f0c46a IntegerInterval:: contains
10 years ago
sjunges 5cc1a86f10 No - I won't wait for those parsers no more. Part one of some compiliation speed up stuff.
10 years ago
dehnert 1d99a18edb removed debugging temporary
10 years ago