Skip to content
GitLab
Explore
Sign in
Software
copar-benchmarks
Repository
Branches
Overview
Active
Stale
All
Stale branches
functor-absorbing
3bdf1745
·
dfa: Update benchmarks
·
Oct 31, 2018
wta
723c41eb
·
Add org file with benchmark results
·
Mar 27, 2019
!1
prism-automation
64ef97bd
·
prism: Add the rest of the mCRL2 benchmarks
·
Jul 01, 2019
wta-opt
453746b2
·
wta: Add a different table with same content
·
Feb 28, 2020
min-ci
3aa40c35
·
Link minimize artifacts from Readme
·
Dec 08, 2020