A compiler backend for translating Whiley programs into Boogie programs for verification. See the Boogie Repository for instructions on installing Boogie on your system.
Whiley/Whiley2Boogie
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A compiler backend for translating Whiley programs into Boogie programs for verification. See the Boogie Repository for instructions on installing Boogie on your system.