equivalence-fiddle - v0.3.0

• Switch main spectroscopy to use an energy game. (This is explained in Bisping, arXiv, 2023.)
• Add benchmarks using the VLTS suite.
• Add support to build a Docker container of the application.
• Add some features to saturate transition systems with internal steps.
• Some usability improvements (e.g. selection of states in the transition system).

- Scala
Published by benkeks almost 3 years ago

equivalence-fiddle - v0.2.0

Compared to the original TACAS 2021 release, this release contains important fixes that are explained in Bisping, Jansen, Nestmann, arXiv 2022.

- Scala
Published by benkeks over 3 years ago