The log files from the talk can be produced using the commands found in ./run_z3.sh (requires z3 to be installed in the path: tested with version 4.8.7 and 4.12.2) and ./run_verus.sh (you will need to change ./verus.sh to point to your local build of the Verus executable: tested with the latest version on GitHub at the time of writing).
-
Notifications
You must be signed in to change notification settings - Fork 0
JonasAlaif/smt-scope-talk
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Packages 0
No packages published