Skip to content

cozy v1.3.0

Choose a tag to compare

View all tags
@calebh calebh released this 29 Mar 19:07
· 169 commits to main since this release
v1.3.0
6f4a7dd

New features for v1.3.0:

  • Added Breakpoint directive
  • Added Postcondition directive
  • Added template wizard. Can be run using python3 -m cozy
  • Added support for diffing symbolic side effects to visualization UI
  • Added simplify flag for enabling memory and register simplification for symbolic values
  • Fixed minor errors and updated getting started guide
  • Added support for loop_bound to prevent cases of infinite loops. Loop bounds added to the visualization as a downward facing arrow
Assets 4
Loading