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

4560 Commits (d676f768dc0c98cd249e8b6c1328d796a2e34583)
 

Author SHA1 Message Date
dehnert 32dc38b48f some more steps towards symbolic builder for JANI models
10 years ago
TimQu ad73e61f12 improvements for preprocessing
10 years ago
dehnert 1892a9657f added some accessor functions and iteration capabilities. started on symbolic jani model builder
10 years ago
dehnert ecc1a80358 added conversion from PRISM to JANI. Added simplistic tests for that.
10 years ago
TimQu b0d2af20ae added check for existence of __builtin_popcountll (reverted from commit 30bcfcad0e [formerly 65f94a6d6e])
10 years ago
TimQu dbac45d9be more StateDuplicator
10 years ago
TimQu 81662f5ab4 Fixed some comments in utility::vector
10 years ago
TimQu 30bcfcad0e added check for existence of __builtin_popcountll
10 years ago
TimQu 358fe02b11 fix for the case where carl is available but cln isn't
10 years ago
TimQu 768cdfb77b state duplicator
10 years ago
sjunges 41640bfbd4 JaniParser: several extensions to expressions, probabilities, locations in destinations of edges
10 years ago
sjunges a6aa909a12 convenience functions for operatiosn on expressions
10 years ago
sjunges 813515d546 JaniParser: support for local variables
10 years ago
sjunges 48f2cc156c JaniParser: extended expression parsing
10 years ago
TimQu fc24c55960 some preprocessing for multi-objective formulas
10 years ago
sjunges dd22841682 JaniParser: extended edge parsing
10 years ago
sjunges 9bf5cf15b6 JaniParser: some more expressions, better error messages and prel. stub for edge parsing
10 years ago
sjunges 510d51e5c1 parser support for bounded ints
10 years ago
sjunges 3b5c27acba more test-files included, two small fixes in parser
10 years ago
sjunges 3f36c95baf JaniParser Constant expressions are now parsed
10 years ago
sjunges b64dc408ac test case for die.jani parsing
10 years ago
sjunges 70a0e3f547 preliminary version of parsing variables, stub for parsing expressions.
10 years ago
sjunges ef24368fcc JaniParser:
10 years ago
sjunges 926d7730e5 JaniParser:
10 years ago
sjunges 39fc4f4f2f Modeltype:
10 years ago
sjunges 2901269909 Model:
10 years ago
TimQu 670ab6e241 added a simple example
10 years ago
TimQu 63da45018e Added support for multi objective formulas
10 years ago
sjunges 91f8ecf17c Small class for actions
10 years ago
sjunges db4fdd473c JaniParser: parse automaton name and locations
10 years ago
sjunges 7fcf598e86 Automaton: Retrieve location id by name
10 years ago
sjunges 435bf79c2d some minor extension
10 years ago
sjunges 0c2ed877b6 merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
10 years ago
sjunges 121cfe4d93 rough skeleton for the parser, v1
10 years ago
dehnert 568cda29ed more jani modelling stuff
10 years ago
sjunges 4df9984b87 added bare minimum for parser calls
10 years ago
sjunges afbc4aff2a unsupported model exception added to exceptions
10 years ago
sjunges ae759d0496 Fixed compile error in output function
10 years ago
dehnert f1eaa92a1b added constants, added custom iterator to variable set
10 years ago
dehnert d38e7d5eb9 started working on jani data structures
10 years ago
dehnert 7d03f0e4d0 improved error checking for custom parallel composition. added small tests.
10 years ago
dehnert bf65ef726c system composition in PRISM appears to be working
10 years ago
sjunges a4687ad230 json parser 3rdparty
10 years ago
sjunges 8ca362848c stubs for model and automatons
10 years ago
sjunges cd2a24ba2d src group for storage/jani
10 years ago
sjunges 20511b142a json parser added to link path
10 years ago
sjunges 9a841a2bde Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
10 years ago
sjunges 16e20ced0b stub for jani parser
10 years ago
dehnert 4c4e830a4c started on supporting renaming/hiding in PRISM models
10 years ago
dehnert 1df8a5c7cc parallel composition (full, restricted, interleaving) for PRISM appears to work, added some more sanity checks for parallel composition
10 years ago