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

7 Commits (7ec3e8b21463180b056ff2755f179bb617d920f1)

Author SHA1 Message Date
dehnert 7ec3e8b214 Further fixes for new variable handling. libstorm now compiles again, yay.
10 years ago
dehnert e49814d391 Modified pctl/csl/ltl options to now take formulas instead of files. Prefixed the macros with STORM_. Moved these macros into a file in the utilities. Modified architecture of the exception classes slightly. Threw away all the contents of main(). This will now be build from scratch.
11 years ago
dehnert 7c5603de3e Improved performance of the expression parser a bit more.
11 years ago
dehnert 952747a9bc Modified some rules in the expression parser such that less redundant parsing is done.
11 years ago
dehnert 084bb14acd Bugfix for expression parser.
11 years ago
dehnert 72cc5f2188 Added 'power' as a binary operator in expression classes and expression grammar.
11 years ago
dehnert 478f5ee38c Started separating expression parsing from PRISM model parsing.
11 years ago