GitHub - abstools/abs-bench: The benchmark suite comparing the different ABS backends

Name	Name	Last commit message	Last commit date
Latest commit rudi fix syntax errors Oct 20, 2018 45388a0 · Oct 20, 2018 History 15 Commits
results	results	Fixed typos	Sep 29, 2015
synthetic_par	synthetic_par	fix syntax errors	Oct 20, 2018
synthetic_seq	synthetic_seq	Updated benchmarks because: abs2haskell smp branch. erlang	Aug 15, 2015
.gitignore	.gitignore	Remove libreoffice stuff	Jun 18, 2015
bench.sh	bench.sh	Updated benchmarks because: abs2haskell smp branch. erlang	Aug 15, 2015
compile.sh	compile.sh	Updated benchmarks because: abs2haskell smp branch. erlang	Aug 15, 2015