A project that builds Boogie for Viper.
It also contains a prebuilt binary of z3 for the new Apple silicon devices.
The prebuilt ones from z3 only exist for versions z3-4.8.16 and up
-
Notifications
You must be signed in to change notification settings - Fork 0
viperproject/boogie-builder
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A GitHub action that builds Boogie.
Resources
Stars
Watchers
Forks
Packages 0
No packages published