Changelog
- 0b2f8bb Bellmar/charm (#54)
- 88d2762 Bellmar/complex clock asserts (#72)
- 62851c6 Bellmar/fsys fspec alignment (#62)
- b805587 Bellmar/imports (#50)
- 335dac2 Bellmar/invariant analysis (#61)
- 1f8d04c Bellmar/llvm optimization passes (#59)
- 07e664d Bellmar/logic adjustments (#53)
- 8f5e54e Bellmar/moar comments (#69)
- 81f88bb Bellmar/multiple flows (#73)
- 95a2d08 Bellmar/program synth (#63)
- a16e477 Bellmar/result format (#68)
- bb854a7 Bellmar/state func conditional (#55)
- 091a743 Bellmar/stricter syntax (#60)
- 664e160 Bellmar/swaps (#57)
- 6157c8f Bellmar/template mode (#64)
- a6751b0 Claude/deodorizing (#56)
- da7f8a7 Fix nested import path resolution to use each file's own directory (#66)
- 8fd8a81 Major refactoring of SMT generation (#52)
- 323fe50 bug fix for fault update (#67)
- 9275a5a fix: keep stdout pure JSON by redirecting result.Message to stderr for non-default formats (#71)
- b4a2fb0 if component state boolean is not declared, switch to the block0, declare it and assign it a false state to start (#49)
- 1fac603 removing accidentally created files
- a25a38e update README.md
- f4dee2b update changelog