search

freespek / ssf-mc

EF project Exploring Automatic Model-Checking of the Ethereum specification
Apache License 2.0
4 stars 0 forks source link

rename spec/ffg_native to abstract-spec #42

Closed konnov closed 2 months ago