Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
fb-signatures-simple
663ff404
·
Add DEncoding (better encoding for naive algorithm)
·
Dec 31, 2020
main-refactor
a285d396
·
tests: Remove unused imports
·
Nov 17, 2020
!47
mini-tests-cleanup
8c07590f
·
examples: Give dfa example an initial state
·
Nov 13, 2020
!46
t-beg-example
45fa1597
·
Add T-Beg example markov chain
·
Nov 04, 2020
!43
absorbing-poly-minimize
305ac203
·
compute... -> enumerate...
·
Nov 04, 2020
!44
noSort
976278e6
·
sad
·
Oct 25, 2020
ghc-8.8
c54429a9
·
enable `generic` for json
·
Oct 19, 2020
!39
minimize-timing
7b3d9264
·
need more stats
·
Oct 13, 2020
!38
reachability
c22d9289
·
Add additional newline to help output
·
Oct 06, 2020
!37
minimize
b213aa49
·
test minimization
·
Sep 25, 2020
!33
print-as-debug-command
09b1f842
·
Expose coalgebra printing as debug command
·
Sep 03, 2020
!35
poly-print-sort
33d00349
·
polynomial: Sort edge labels before printing
·
Sep 03, 2020
primitive-version
9c8dcff8
·
upgrade stack in CI
·
Aug 15, 2020
!32
ci-test
cda34f4e
·
Revert "test"
·
Aug 12, 2020
release-ci
8c406733
·
Test release flag in ci
·
Aug 05, 2020
!30
release
f7bf2f0e
·
fix test with RELEASE
·
Aug 05, 2020
!31
ParseMorphism
a0f70d2d
·
refactor printFactor
·
Jul 28, 2020
!29
FunctorDescription
92a63e1b
·
remove Printable
·
Jun 23, 2020
!28
rigrag
2ce5245f
·
Use Z in zigzag
·
Jun 02, 2020
!27
remove-pretty
27e54c1e
·
remove showSorts, rename sortAsScope
·
May 26, 2020
!25
Prev
1
2
3
4
5
6
Next