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 |
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.