Changelog
- 3e53fd8 Add visualize mode to help message (#32)
- 82dbd33 Adding String Support (#38)
- 1e39479 Bellmar/index position (#36)
- 71eb521 Bellmar/output (#40)
- eb9ded7 Better initializing of model variables plus swapping values for stock/flows (#34)
- 686a957 Creating action to sign builds
- 7a267b3 a nicer format for specs that are just static rules
- 5c8a22f basic abstractions for asserts in the event log
- 192c84b changing model checker to solver in the install instructions to be clear
- f81312b cleaning up formatting
- 916eff1 clearer handling of assert output
- 045a4e6 don't process asserts for output if there aren't any
- 51bd49d extra space
- 42c457c fiddling with abstractions to try to track chains of clauses
- 723ceaa fun import bug on asserts and fixing problems with assertion evaluation
- 17f6ea8 maybe got all the bugs out of assert outputs
- fdba640 missing some line breaks
- a6dfa68 moving ast dependent utils into ast package
- 638019a probably got assert tracking all done now?
- 8d19f1e signing releases
- 522420f some bug fixes around state charts
- d05f884 surpress output when all the asserts have passed
- 2bdaeac updating README
- bb51ea5 updating README (#35)
- 6cce0a4 updating and cleaning up the README
- 4ad5713 updating workflow