Skip to content

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

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