Changelog
- 0b2f8bb Bellmar/charm (#54)
- b805587 Bellmar/imports (#50)
- 07e664d Bellmar/logic adjustments (#53)
- 30f646f Convert listener errors to panic/recover for TUI propagation
- 8fd8a81 Major refactoring of SMT generation (#52)
- 26e2a7d expanding validation checking for empty function blocks
- f8beca2 expanding variable name validation to other patterns
- b4a2fb0 if component state boolean is not declared, switch to the block0, declare it and assign it a false state to start (#49)
- 33796a6 prevent variables from having underscores in the name
- a25a38e update README.md
- 7f67e78 updating changelog