v1.0.0

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