Skip to content

Releases: marcelosousa/poet

POET-2.0

19 Oct 16:46
@marcelosousa marcelosousa
2.0
0b7b426
Compare
Choose a tag to compare
POET-2.0 Latest
Latest

This is a release of the tool POET version 1.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

Assets 2
Loading

POET-1.0

19 Oct 16:07
@marcelosousa marcelosousa
1.0
4ae293b
Compare
Choose a tag to compare
POET-1.0

This is a release of the tool POET 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

Assets 4
Loading