search

Whiley / RFCs

Request for Comment (RFC) proposals for substantial changes to the Whiley language.
3 stars 2 forks source link

EVM Backlog #106

Closed DavePearce closed 2 years ago

DavePearce commented 2 years ago

List of changes required for writing EVM Smart Contracts:

  1. Global variables with modifies clauses (or similar)
  2. Fixed size integer types
  3. Fixed sized arrays
  4. Support for maps
  5. Support for reasoning about external callbacks