Changelog
- 0b2f8bb Bellmar/charm (#54)
- 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)
- 95a2d08 Bellmar/program synth (#63)
- 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)
- 4c572bb added noops to program synth to ensure it doesn't try to solve the program in exactly X number of steps, can be less
- e522fcb adding a Fault linter to the compiler
- 2e7550a adding a updater and version checker
- b3b5808 adding col/line info to errors that could have it but did not
- b6ca07a adding deconflict spec
- 4de261f adding error handling to prevent specs with param() from being run in something other than template mode
- 622db07 adding more info to spec parse errors
- 1289b52 adding more testing for emits and requires
- 89fd90f adding templating to compile specs as templates
- 4f806f5 allow globals in fspec files
- 93f8760 assume overrides should not touch eventually and eventually-always
- 3191255 assumes should override other rules (with warnings)
- c7c9423 bug introduced when forcing unknowns to have an assigned value
- 089a555 clarifying the unsat output message
- 02f54fa cleaning up emit syntax, no assumes in function bodies
- 9b21f1a drop asserts/assumes imported from other specs when nothing in them is active
- 7be1067 emits can return an assignment
- 9022230 extends needs to support imported stocks as well
- 0d1e05c fine tuning emits syntax and adding some error handling for invalid expressions in emits
- e5ed9d0 fixing a bug with unfuncs that have no requires
- 8aa2a6e fixing extends across imports
- d210d05 fixing op selection
- b239c20 fixing tests
- 6d32057 grammar optimizations
- 94dbf2f grammar rebuild
- b4a2fb0 if component state boolean is not declared, switch to the block0, declare it and assign it a false state to start (#49)
- bb3ec24 linting through the preprocess stage
- f40bb68 making command line modular
- a948fa3 making sure param works in fsystem
- f24adae misc fixes
- 859044f mix fixes
- 01341f0 more work on the preprocesser
- 9343b44 move template rendering to cli module
- 164e6a5 moving configuration into a file
- d3dd34f rebuilding grammar files
- 501a9c4 refining and improving feedback on errors
- b5a39a1 regenerating and cleaning up parser files
- d4db782 removing smt fallback when no solver configured
- 99aaca5 requiring type hints
- f2c9eff separating out variable initialization for result clarity
- 4592c3c still fiddling with results display
- b363e72 tweaks for consistancy
- 4116dd4 unfuncs should work in flows
- cc0ed89 update CHANGELOG
- a25a38e update README.md