Skip to content
GitLab
Explore
Sign in
Register
permute-and-symmetrize: Sort arc lists in parallel
Code
Review changes
Check out branch
Download
Patches
Plain diff
vlorentz
requested to merge
bvcomp-parallel
into
master
Mar 26, 2024
Overview
8
Commits
5
Pipelines
6
Changes
9
Expand
This makes the transformation step run in ~4 hours instead of 28.
Edited
Mar 27, 2024
by
vlorentz
Merge request reports