good morning!!!!

Skip to content
Snippets Groups Projects
Unverified Commit ea060815 authored by ledgerwatch's avatar ledgerwatch Committed by GitHub
Browse files

Remove z3 and semantics (#1314) 

* Removed z3 submodule

* Remove semantics and z3 from build

* Fixes to CI
parent abf4fa58
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment