act icon indicating copy to clipboard operation
act copied to clipboard

Published 20 hours ago • verified publisher icon ethereum

Environment variable support for Coq

Open zoep opened this issue 2 years ago • 0 comments

Features and bug fixes:

  • Adds support for environment values in the Coq backend (only CALLER atm)
  • Adds support for multiple updates to state variables
  • Bug fix in map initialization in constructors (now using default value instead of undefined var)

Tests:

  • Added a simple token test spec and proved that sum of balances remains constant

zoep avatar Aug 11 '22 10:08 zoep