Changelog
- 0b2f8bb Bellmar/charm (#54)
- b805587 Bellmar/imports (#50)
- 07e664d Bellmar/logic adjustments (#53)
- bb854a7 Bellmar/state func conditional (#55)
- 664e160 Bellmar/swaps (#57)
- a6751b0 Claude/deodorizing (#56)
- 8fd8a81 Major refactoring of SMT generation (#52)
- 47a88c7 adding tests
- a42f6fe adding tests for clocks
- 86ac420 checking for overkills
- 4de6425 dead branch elimination
- 4dc200e fixing bug in phi for ors
- aaf2adc fixing issue #58
- 2ad01f7 fixing some issues with tests
- 6c19ae1 fixing the strictness around block numbers and group hashes in tests
- b4a2fb0 if component state boolean is not declared, switch to the block0, declare it and assign it a false state to start (#49)
- 9e90331 implementing optimization passes
- 53c279e loop clocks and phis issue #37
- 8c68b9f no sandwiches :p
- 71e1747 optimizing SMT by removing unused variables and properties. This also requires updating the test files
- 1b7d316 remove phis from the state clock
- 9c1740e removing dead code
- 6fb37df removing dead code around metadata
- c50665b some optimizations around phis
- 6a60274 update CHANGELOG
- a25a38e update README.md
- 00aa02c updating the tests to reflect that changes made to branchSelectors
- 787d6ee working on smt optimization