SimpleC-2.0

This is a release of the Haskell package simple-c version 2.0.
This version is stable to reproduce the experiments in the paper Abstract Interpretation with Unfoldings.
For more details on how to use this release check the POET wiki!

Compiled with The Glorious Glasgow Haskell Compilation System, version 8.0.1

SimpleC-1.0

This is a release of the Haskell package simple-c version 1.0.
This version is stable to reproduce the experiments in the paper Unfolding-based Partial Order Reduction.
For more details on how to use this release check the POET wiki!

Compiled with The Glorious Glasgow Haskell Compilation System, version 8.0.1