Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Repository
Branches
Overview
Active
Stale
All
new-parser
eabb81be
·
Remove obsolete Sort module
·
Jul 13, 2018
noSort
976278e6
·
sad
·
Oct 25, 2020
omit-braces
886da5c9
·
omit braces in AbsorbingPolynomial
·
May 20, 2020
!24
opt/groupBy
7e153b9e
·
Fix benchmarks compilation
·
Nov 09, 2018
otimizations
fa32dea8
·
Unpack fields of AlgoState
·
Nov 07, 2018
poly-opt
470262ed
·
Polynomial: Specialize parser monad
·
Feb 26, 2020
poly-print-sort
33d00349
·
polynomial: Sort edge labels before printing
·
Sep 03, 2020
poly-speedup
8a0a8b38
·
tests: Fix tests for Polynomial functor
·
Sep 26, 2018
polynomial_syntax
eb806317
·
use `->` instead of `:` for polynomials
·
Apr 01, 2020
powerset-bitweight
7ed53a0a
·
Encode the toRest part of Powerset's weight in Int
·
Nov 09, 2018
powerset-weight
8db7fbd5
·
Remove redundant UNPACK pragma
·
Nov 09, 2018
primitive-version
9c8dcff8
·
upgrade stack in CI
·
Aug 15, 2020
!32
print-as-debug-command
09b1f842
·
Expose coalgebra printing as debug command
·
Sep 03, 2020
!35
print-functor
f757c731
·
printParseableFunctor: omit unnecessary braces
·
May 18, 2020
!23
product
f4c61489
·
ok
·
Apr 17, 2020
random-dfa
d3ac9436
·
random-dfa: Optionally output to file instead of stdout
·
Sep 25, 2018
ratio-syntax
903c3200
·
Add some tests for rational-valued functor
·
May 29, 2019
!14
rationals
7a0526a2
·
Add example for Q^X
·
Nov 16, 2018
!9
reachability
c22d9289
·
Add additional newline to help output
·
Oct 06, 2020
!37
release
f7bf2f0e
·
fix test with RELEASE
·
Aug 05, 2020
!31
Prev
1
2
3
4
5
6
Next