search

runtimeverification / avm-semantics

BSD 3-Clause "New" or "Revised" License
15 stars 4 forks source link

Add transaction, accounts and specification macros and aliases #274

Closed geo2a closed 1 year ago

geo2a commented 1 year ago

This PR adds a number of [macro] and [alias] rules to make the specs more concise