This repository stores the prelude components (libraries, macros, utility classes) of the Sireum (v2) software analysis platform.
Please refer to the instructions on Sireum Core for setup instructions.
This repository has been archived by the owner on Jun 19, 2021. It is now read-only.
sireum/v2-prelude
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|