Changelog
- b805587 Bellmar/imports (#50)
- 2a7cbab Do not put phi values in the event log
- 8fd8a81 Major refactoring of SMT generation (#52)
- 8fb3757 adding branch selectors (and updating a test)
- 5381699 adding choose groups to ir
- b1ac52d adding choose to the parser
- f85d03a adding leave as an official builtin instead
- 5f1fa09 adding llvm test for choose
- 602593b adding llvm test for leave builtin
- 9e6e942 begin separating out leaving a state from the functions to enter a new state
- e9a9e97 bug fix
- ac387b6 bug: dropping inits for phis in parallels
- 75f6a61 changes to listener
- 9edd9e8 checkpoint before unleashing claude
- 7723bac cleaning up the grammar some
- ca38fc6 comments to document
- 2bff0e2 condensing some of the nestled ands in choose ors
- 1c6c7fe consolidating new inits and fixing a branch selector bug
- edfb9ed controlling for comments and newlines in the spec files on validation
- fcd0daf extremely flakey test
- 34bdebb fine tuning grammar
- fa208e8 fix: properly assert OR branch rules and selectors in SMT
- a74e3cf fixing Ite now that stay() is wrapped with a conditional
- 03e3809 fixing bug in scenario formating
- dc4a0fd fixing more complicated state change booleans
- c8b415f fixing reachability
- 1241e3b generating smt2 of choose and first test
- b4a2fb0 if component state boolean is not declared, switch to the block0, declare it and assign it a false state to start (#49)
- 4eb9948 improve solver output readability
- c4e5114 omit variables defined in the run block from the model output
- a825cb6 oops, commented out tests
- d21f908 remove print statement :)
- a975cba removing dead code
- 7f76431 removing the last of metadata
- 6cf7135 show complementary state transitions in solver output
- e0b23bc simplifying some code
- c3cad19 stay needs to generate a rule in order for choose to work
- f97ef11 tweaking enforcement of branch selectors in smt
- 95e3185 tweaks to grammar and fixing a test
- 079a5bc updating test to reflect branch selector changes
- f51126e updating tests
- 1baceb8 updating tests
- 1d768bb updating tests to reflect both choiceGroups and a different way of doing parallelGroups
- 6540fd6 updating tests to reflect branch selectors
- caed50c updating the ir to reflect changes for tests
- 917eb16 wrap states with only stay() in a conditional as well