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

3661 Commits (44ebbfad9f050eb54f25a1f6cae2e42f8b2bd65b)
 

Author SHA1 Message Date
sjunges 44ebbfad9f Removed unnecessary semicolons causing warnings
9 years ago
sjunges c680ade869 Merge branch 'jani_support' into future
9 years ago
sjunges ebe9992c0b Some comments
9 years ago
sjunges 8a34ed3280 Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
9 years ago
sjunges c0a6195125 string comparison via operator
9 years ago
sjunges 1ed5581a1d removed old examples
9 years ago
sjunges 6843f4349f refactorign of gspns: use ints as identifiers on more places, use the builder in the parsing process, split the parsers for project files and pnml, as well as some minor stuff
9 years ago
sjunges bb7033b097 Merge branch 'jani_support' into jani_gspn_support
9 years ago
sjunges e0fd50cb9d Fixed export of sync input for no-action
9 years ago
sjunges d945cb279d add derived operators to features, fixed composition export
9 years ago
sjunges 84d1ead442 Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
9 years ago
sjunges ce9d7db67a fixed knuths die in pdtmc
9 years ago
sjunges 56b301fbbf ignore some 3rd party libs
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
dehnert 00db8794e6 fixed bug in explicit jani model generator
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
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
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
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
dehnert 91e6bb2999 fixed bug in DD-based JANI model generation related to transient edge assignments
10 years ago
dehnert 011e3fbaa6 fixed bug that introduced transient variables in the state space
10 years ago
sjunges 1951e1e79a Merge branch 'jani_support' into jani_gspn_support
10 years ago
sjunges 12a5258a45 second time is a charm
10 years ago
sjunges 0c4b52cfa9 Merge branch 'jani_support' into jani_gspn_support
10 years ago
sjunges a265bc49ce check if transient values are actually given before looping over them
10 years ago