search

runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain
Other
131 stars 33 forks source link

Bump Z3 version to 4.8.11 #322

Closed Baltoli closed 3 years ago

Baltoli commented 3 years ago

This reflects a change in the upstream K distribution; the main PR is at https://github.com/kframework/k/pull/2225