Skip to content

v0.2.0
Compare
Choose a tag to compare
@mbellotti mbellotti released this 24 May 16:15
· 11 commits to main since this release
v0.2.0
b2594cb
This commit was signed with the committer’s verified signature.
mbellotti
GPG key ID: 8CA6BA023E7F8FB8
Learn about vigilant mode.

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
Assets 12