Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Repository
Branches
Overview
Active
Stale
All
Comments_to_help_Silas_understand_the_Alg
fe8903e4
·
Bunch of comments and some trivial refactoring.
·
Jul 07, 2022
FunctorDescription
92a63e1b
·
remove Printable
·
Jun 23, 2020
!28
Master-Distributed-Merge
e087d11f
·
Merge remote-tracking branch 'origin/distci' into Master-Distributed-Merge
·
Jul 26, 2022
!51
ParseMorphism
a0f70d2d
·
refactor printFactor
·
Jul 28, 2020
!29
Predetermine-unstable-states
fc0bf61d
·
Final Commit.
·
Sep 06, 2023
SylvanSymbolic
652a3533
·
Test Suite for Symbolic
·
Oct 15, 2023
Windows-Fixed-(-)
e992401c
·
Hopefully the last Formatting Warning
·
May 10, 2022
!49
absorbing-poly-minimize
305ac203
·
compute... -> enumerate...
·
Nov 04, 2020
!44
bench-hex
f77957a9
·
bench: Add benchmark for hex parser
·
Mar 21, 2019
bench-partition
4068d42c
·
Don't needlessly update blocks with one state
·
Oct 04, 2018
bench-split
6261d8d8
·
Fix whitespace
·
Sep 25, 2018
benchmarks-ci
5ec83b50
·
Build (don't run) benchmarks in CI
·
Jul 24, 2018
build-script
ee39e382
·
Use posix sh function definition syntax in build script
·
Jul 29, 2018
!3
certificates
7642f444
·
change mvPrinter for `mempty`
·
Apr 28, 2021
!48
ci
7b790ad3
·
ci: Enable new ci for master
·
Oct 19, 2022
ci-artifacts
b7d5079e
·
ci: Save artifacts on non-master branches
·
Mar 19, 2019
ci-stack
446eb586
·
ci: Use older stack snapshot
·
Nov 16, 2018
ci-test
cda34f4e
·
Revert "test"
·
Aug 12, 2020
debug-partition-size
b8d4a3c2
·
Print partition size while refining
·
Apr 04, 2019
defined-twice
3ea6c77e
·
add missing space to "defined twice" error
·
Apr 17, 2020
!18
Prev
1
2
3
4
5
6
Next