search

freespek / ssf-mc

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

Translation rules p2 #6

Closed Kukovec closed 3 months ago

Kukovec commented 3 months ago

Followup to #3, contains the rest of the translation rules.

Kukovec commented 3 months ago

@thpani