sireum / v2-prelude

Sireum Prelude Components

Sireum Prelude

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.