Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Repository
Branches
Overview
Active
Stale
All
typo
197c3fe7
·
fix typo
·
Apr 03, 2020
!16
typo2
08329c55
·
typo2
·
Apr 03, 2020
product
f4c61489
·
ok
·
Apr 17, 2020
defined-twice
3ea6c77e
·
add missing space to "defined twice" error
·
Apr 17, 2020
!18
group-valued-int
fe31375c
·
add test for int-valued
·
May 13, 2020
!22
print-functor
f757c731
·
printParseableFunctor: omit unnecessary braces
·
May 18, 2020
!23
omit-braces
886da5c9
·
omit braces in AbsorbingPolynomial
·
May 20, 2020
!24
remove-pretty
27e54c1e
·
remove showSorts, rename sortAsScope
·
May 26, 2020
!25
rigrag
2ce5245f
·
Use Z in zigzag
·
Jun 02, 2020
!27
FunctorDescription
92a63e1b
·
remove Printable
·
Jun 23, 2020
!28
ParseMorphism
a0f70d2d
·
refactor printFactor
·
Jul 28, 2020
!29
release
f7bf2f0e
·
fix test with RELEASE
·
Aug 05, 2020
!31
release-ci
8c406733
·
Test release flag in ci
·
Aug 05, 2020
!30
ci-test
cda34f4e
·
Revert "test"
·
Aug 12, 2020
primitive-version
9c8dcff8
·
upgrade stack in CI
·
Aug 15, 2020
!32
poly-print-sort
33d00349
·
polynomial: Sort edge labels before printing
·
Sep 03, 2020
print-as-debug-command
09b1f842
·
Expose coalgebra printing as debug command
·
Sep 03, 2020
!35
minimize
b213aa49
·
test minimization
·
Sep 25, 2020
!33
reachability
c22d9289
·
Add additional newline to help output
·
Oct 06, 2020
!37
minimize-timing
7b3d9264
·
need more stats
·
Oct 13, 2020
!38
Prev
1
2
3
4
5
6
Next