Benchmarks for my Master's Thesis
This repository contains tooling and raw results from benchmarking CoPaR.
The file cabal.project.freeze contains the versions of all Haskell
dependencies that were used to compile CoPaR for these results.
| Name | Last commit | Last update |
|---|---|---|
| dfa | ||
| optimizations | ||
| prism | ||
| valmari_fig4 | ||
| wta | ||
| .gitignore | ||
| README.md | ||
| artefakt_rebuttal.org | ||
| cabal.project.freeze |