Changelog
- b805587 Bellmar/imports (#50)
- 07e664d Bellmar/logic adjustments (#53)
- 8fd8a81 Major refactoring of SMT generation (#52)
- 602904e adding a file browser generated by Claude
- 919e24a cleaning up after claude
- d8b0162 error handling
- 895dcd3 fine tuning the tui
- 90aafc1 fixing bug with viewport
- b4a2fb0 if component state boolean is not declared, switch to the block0, declare it and assign it a false state to start (#49)
- 507da91 prettifying the interface
- b19dcb2 removing binaries
- 97729e1 tweaking the names of settings to be clearer
- a25a38e update README.md
- 41e8f62 updating changelog