0.0.38 - Halmos Support

Release with Halmos support. Extracts as much data as possible (limitation of determining struct names)
Requires using -vv and cleaning characters

e.g. run with

halmos -vv | ansifilter > out.txt

V0.0.34 - Halmos Beta

Releases tentative support for Halmos logs. Both normal and invariant tests are supported.

V0.0.28

Fixes yarn audit

V0.0.27

Faily stable with a few bugs tied to structs

V0.0.18

Log parser update

Echidna

• Fix identation issues