Bump Z3 version to 4.8.11

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.

Other

17 stars 8 forks source link

Bump Z3 version to 4.8.11 #331

Closed Baltoli closed 2 years ago

Baltoli commented 2 years ago

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

Baltoli commented 2 years ago

@ehildenb I don't seem to have the correct permissions to push branches or request reviews on the RV org - this is ready for review though once it passes CI.