Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Software
copar-benchmarks
Repository
Branches
Overview
Active
Stale
All
Stale branches
functor-absorbing
merged
3bdf1745
·
dfa: Update benchmarks
·
Oct 31, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wta
merged
723c41eb
·
Add org file with benchmark results
·
Mar 27, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
prism-automation
merged
64ef97bd
·
prism: Add the rest of the mCRL2 benchmarks
·
Jul 01, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wta-opt
merged
453746b2
·
wta: Add a different table with same content
·
Feb 28, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
min-ci
merged
3aa40c35
·
Link minimize artifacts from Readme
·
Dec 08, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
