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

4953 Commits (cd5ee63ccecf05a85a2cf534e701a947a8ab66e6)
 

Author SHA1 Message Date
Mavo 8d38358c11 Use BucketPriorityQueue instead of DynamicPriorityQueue
9 years ago
dehnert 17384cd9e9 fixed wrong include
9 years ago
dehnert ed49f82ae3 Merge branch 'future' into jani_support
9 years ago
dehnert cb97da887c went from deque to vector-based representation of splitter queue in bisimulation
9 years ago
Mavo d1d77ff4df Changed deque to vector in bisimulation to gain performance boost
9 years ago
Mavo 82a3964e5d Only fix queue when needed
9 years ago
Mavo a333d29d16 Hard coded heuristic to gain performance
9 years ago
dehnert 00db8794e6 fixed bug in explicit jani model generator
9 years ago
Mavo a624292ece Output no states
9 years ago
Mavo ec8b5a23f2 Fixed compile issues with under Linux
9 years ago
sjunges bd2e7b075c one can never have enough labels in prism files
9 years ago
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
Mavo 1bfd974795 Minor fixes
9 years ago
Mavo 4a6f53031e Choose different approximation heuristics
9 years ago
dehnert 0796eea632 implemented the extended filter functions of JANI for the symbolic/hybrid check results
9 years ago
Mavo 26d0a3a7a4 Fixed smaller bugs
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
Mavo 8e1e61c4f2 Changed datastructures and made handling of pseudo states easier
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
Mavo e05c4dab0d Use custom DynamicPriorityQueue
9 years ago
dehnert ccfcbc0c69 fixed hwloc issue even harder
9 years ago
sjunges 6a80319c18 another Hwloc script
9 years ago
Mavo faadf19228 Approximation error is relative to mean of lower and upper bound
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
Mavo ea00abc35e Fixed problems with approximation while using symred
9 years ago
dehnert ba0d81ca52 bugfix for PRISM program: only check initial values of variables if they have one
10 years ago
sjunges 40ea6eeecd pctmc example
10 years ago
sjunges afb01572b9 support for ctmcs
10 years ago
sjunges fb1c738acb Merge branch 'jani_support' into export_explicit
10 years ago
sjunges 61dc090fa8 gspn export settings (currently only dot output) and better gspn to jani support
10 years ago
sjunges 4f1f71ffae fix in getPlace; add capacities, GSPN settings and main file updated
10 years ago
Mavo a419cb0d80 Fixed computing rates for lower and upper bound
10 years ago
dehnert 91e6bb2999 fixed bug in DD-based JANI model generation related to transient edge assignments
10 years ago
Mavo 6faa7f0429 Abort when getting infinity in approximation
10 years ago