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

13 Commits (812b101c40c9077fc3a56edff439a32342e7ad5d)

Author SHA1 Message Date
dehnert d62539165e 'Identity updates' can now be described as applying 'true' in PRISM programs.
10 years ago
dehnert e79233bd7b Added check in PRISM program that prevents global varibles from written in possibly synchronizing commands.
11 years ago
dehnert aaefe7dfa5 Fixed some tests/parser.
11 years ago
dehnert 8e71081f1e Functional tests now work again.
11 years ago
dehnert 93a08538e3 Reverted debug change in test.
11 years ago
dehnert 7c5603de3e Improved performance of the expression parser a bit more.
11 years ago
dehnert 72cc5f2188 Added 'power' as a binary operator in expression classes and expression grammar.
11 years ago
dehnert c76e0e8d4d Added class for initial construct of PRISM programs (to capture position information). Added more validity checks for programs and tests for them (not all though).
11 years ago
dehnert 82836f1ad1 Added some checks for validity of identifiers in PRISM programs. Added some illegal tests to test suite.
12 years ago
dehnert 39ec9401ef Fixed the PrismParser so the exact format of PRISMs boolean expressions can now be parsed.
12 years ago
dehnert 311247ff0c Added support for Xor in expression classes and added parsing functionality for Xor, Implies and Iff.
12 years ago
dehnert 199b6576a9 Added ternary operator. Parsing standard PRISM models into the PRISM classes now works. Included tests for parsing stuff. ToDo: add remaining semantic checks for parsing/PRISM classes and fix explicit model adapter.
12 years ago
dehnert f6587b424d Further work on PrismParser and the related PRISM classes...
12 years ago