Commit fcffdb2b authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files


parent fe50c35e
# Benchmarks for my Master's Thesis
# Benchmarks for CoPaR
This repository contains tooling and raw results from benchmarking
The file `cabal.project.freeze` contains the versions of all Haskell
dependencies that were used to compile CoPaR for these results.
This repo contains benchmarks for:
- Deterministic Finite Automata in `dfa/`
- Adaptions of the benchmark suite of the PRISM model checker in `prism/`
- Weighted Tree Automata in `wta/`
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment