Changelog
- 3e53fd8 Add visualize mode to help message (#32)
- eb9ded7 Better initializing of model variables plus swapping values for stock/flows (#34)
- 686a957 Creating action to sign builds
- 192c84b changing model checker to solver in the install instructions to be clear
- 2ed164b clock support
- 78f4eeb constants can't be accessed via index
- be604ed extra test for indexes in asserts
- 42198db index expressions in llvm
- bceb15e index expressions should include the index number in the variable rawid
- 7627c24 indexing supposed in smt
- 8d19f1e signing releases
- f2f26c1 uncommenting tests
- bb51ea5 updating README (#35)
- 4d22c26 updating README.md
- 6cce0a4 updating and cleaning up the README