v0.2.8

Changelog

• 286b561 bug in renaming imports and initializing them in a run block
• 76fafac forget to decomment some tests
• b4a2fb0 if component state boolean is not declared, switch to the block0, declare it and assign it a false state to start (#49)
• 8819273 moving changelog to its own file and cleaning up the old Docker stuff
• 27a5fee off by one error and some misc grammar bugs
• e206866 reallowing imports on fspec files,setting up handling of circular imports and upgrades to antlr4
• 66970bd removing ambiguity between assert x == (y || b) and assert (x == y) || b
• bcb7d24 there's a bug when the declared spec name on import is different from the spec declaration on the spec itself
• 118c9f4 value declared but not init

v0.2.7

Changelog

• 84a96c0 if component state boolean is not declared, switch to the block0, declare it and assign it a false state to start

v0.2.6

Changelog

• 623f6af Bellmar/conditional bugs (#47)
• 597220f Update README.md (#46)
• 5417e05 small grammar problem (#48)

v0.2.5

Changelog

• 3e63664 error on string clauses (#45)

v0.2.4

Changelog

• 6635489 sloppy fixes for clauses (#44)

v0.2.3

Changelog

• 914308a Bellmar/bug fixes (#43)

v0.2.2

Changelog

• 3e53fd8 Add visualize mode to help message (#32)
• 82dbd33 Adding String Support (#38)
• 1e39479 Bellmar/index position (#36)
• 71eb521 Bellmar/output (#40)
• f02ce2e Bellmar/output include asserts (#41)
• 736632d Bellmar/system assert bug (#42)
• 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
• 8d19f1e signing releases
• bb51ea5 updating README (#35)
• 6cce0a4 updating and cleaning up the README

v0.2.1

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

v0.2.0

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

v0.1.2

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