good morning!!!!

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

Semantics: Integrate Z3 into the build (#370) 

* Just files

* Fix lint

* First attempt at linking

* More semantics

* Add more arguments

* Added z3 dependency

* Added integration with z3

* Try to fix build

* Add m library

* Try to fix ints

* Separate init/destroy, create sorts
parent 48d4ac20
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