search

tendermint / spec

131 stars 56 forks source link

Updated Apalache type annotations #395

Closed Kukovec closed 2 years ago

Kukovec commented 2 years ago

The specifications were using the old format of Apalache type annotations. This PR migrates them to the new format (but does not extend the specifications otherwise).