search

runtimeverification / avm-semantics

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

Specs for some internal functions and rules #155

Closed geo2a closed 2 years ago