Changelog
- 0b2f8bb Bellmar/charm (#54)
- b805587 Bellmar/imports (#50)
- 335dac2 Bellmar/invariant analysis (#61)
- 1f8d04c Bellmar/llvm optimization passes (#59)
- 07e664d Bellmar/logic adjustments (#53)
- bb854a7 Bellmar/state func conditional (#55)
- 091a743 Bellmar/stricter syntax (#60)
- 664e160 Bellmar/swaps (#57)
- a6751b0 Claude/deodorizing (#56)
- 8fd8a81 Major refactoring of SMT generation (#52)
- 12fe8fe adding an ascii logo for the tui
- bdfac43 adding configuration flag for threshold
- 8c3b3e4 adding timeouts and max memory to SMT configuration
- 0f0c651 detecting large SMT outputs and warning user
- 4087233 first draft
- b4a2fb0 if component state boolean is not declared, switch to the block0, declare it and assign it a false state to start (#49)
- 14f4b39 messy bug with parallel runs
- 5c0ce1a modifying component order execution
- a25a38e update README.md
- 1c9bb0d updating CHANGELOG