sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
4695 Commits
2 Branches
0 Tags
187 MiB
Tree: ad1fdd41ea
Commit Graph

8 Commits (ad1fdd41ea4121bccb9e2fb783f1468feab25a2e)

Author SHA1 Message Date
dehnert ad1fdd41ea fixed some wrong capitalizations
8 years ago
dehnert a323d21751 fixed some wrong capitalization
8 years ago
Matthias Volk 5d79eff2cd Wrapper for file opening
8 years ago
dehnert a85f4fdc89 replaced some StoRMs and Storms by storm, reworked version output a bit
8 years ago
Matthias Volk de96f4444a Return exit code > 0 for exceptions
8 years ago
dehnert 9bb65389c4 some adjustments to pgcl treatment caused by changes in JANI data structures
8 years ago
sjunges 65fbe856e4 possibility to disable reward variable creation
8 years ago
sjunges 960447b2c3 moved storm-pgcl to a seperate lib; also slightly cleaned the code
9 years ago
Sebastian Junges d246517757 removed src prefix in all includes
9 years ago
Sebastian Junges e1d201c85e c++ code compiles again after rename
9 years ago
Sebastian Junges 3a7ee7867b rename files (does not compile)
9 years ago
sjunges ecc74595ba several jani related fixes: IsInitialRestrictionSet(), FormulaContext, minor things
9 years ago
sjunges f0132cf2a5 Bounds & co for pgcl.
9 years ago
sjunges e7dc0a049b towards nice pgcl - jani support
9 years ago
sjunges 2905c010d2 updated parser: sync result optional, invariant is called differently now
9 years ago
sjunges 09ea2d680e fixed if statement to program graph, added dot output for program graphs, added variable bounds, added settings to work with that, and usability of program graphs improved
9 years ago
sjunges 42c37ce8b1 pgcl entry point update
9 years ago
sjunges 0f6a741276 pgcl
9 years ago