Changelog
- 3e53fd8 Add visualize mode to help message (#32)
- 1e39479 Bellmar/index position (#36)
- eb9ded7 Better initializing of model variables plus swapping values for stock/flows (#34)
- 686a957 Creating action to sign builds
- 30d255f bug: StructInstances can also be in DefStatements
- 192c84b changing model checker to solver in the install instructions to be clear
- 697a716 debugging globally defined strings
- 86db50f first pass at compound string rules
- 9890a3e fixed syntax issue in testdata (swaps2)
- eab85fb fixing tests
- 6871092 forgot to add Prefix to branch tagging
- addce77 grammar updates and converting string to boolean in ir
- 5ea5e2b imports weren't passing global variables up to the parent spec
- 8d19f1e signing releases
- 3e7a37a still very much a mess but fixed the tests at least
- 8704184 strings as bool in smt
- 8ab627e stuck in a real nasty place on ands/ors
- bb51ea5 updating README (#35)
- b2594cb updating README.md
- 6cce0a4 updating and cleaning up the README
- 20fb670 working through some bugs with compound strings and found a bug in smt generation of prefixes