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.
Select Git revision
copar-benchmarks
-
-
- Open in your IDE
- Download source code
| Name | Last commit | Last update |
|---|---|---|
| dfa | ||
| optimizations | ||
| prism | ||
| valmari_fig4 | ||
| wta | ||
| .gitignore | ||
| README.md | ||
| artefakt_rebuttal.org | ||
| cabal.project.freeze |