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.
Sireum Prelude Components
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.
Sireum Prelude Components