Skip to content
GitLab
Explore
Sign in
Software
copar-benchmarks
Repository
Branches
Overview
Active
Stale
All
symbolic
a656dae9
·
Added Graphs and Table Generation
·
Sep 11, 2023
master
default
protected
6092ed2a
·
Add prism conversion tooling
·
Sep 07, 2023
ci
0be1ce1c
·
Add distributed benchmarks to CI
·
Oct 19, 2021
min-ci
3aa40c35
·
Link minimize artifacts from Readme
·
Dec 08, 2020
wta-opt
453746b2
·
wta: Add a different table with same content
·
Feb 28, 2020
prism-automation
64ef97bd
·
prism: Add the rest of the mCRL2 benchmarks
·
Jul 01, 2019
wta
723c41eb
·
Add org file with benchmark results
·
Mar 27, 2019
!1
functor-absorbing
3bdf1745
·
dfa: Update benchmarks
·
Oct 31, 2018