cozy v1.4.0

calebh released this 29 May 19:15

· 97 commits to main since this release

c955d6a

New features for v1.4.0:

Added CFG view to visualization
Exporting results to JSON now results in a single file instead of two files
Various improvements and bug fixes to visualization interface
Better handling for symbolic and concrete boolean values
Script generation wizard now has greatly improved prompting interface
Added tutorial page on side effects

Assets 4