Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
sumbag
733171e8
·
Add microbenchmarks for SumBag
·
Mar 11, 2019
tutorial
0a1af671
·
howto: Adapt to new RefinementInterface
·
Dec 12, 2018
web
28d3d054
·
web: Implement graph view
·
Dec 09, 2018
!11
features/disable-sanity
b5ababb8
·
Refactor and document Copar.Parser module
·
Dec 01, 2018
ghc-8.4.4
fe4e8c62
·
ci: Switch to GHC 8.4.4
·
Nov 30, 2018
linux-bin-artifacts
beacc3b5
·
Build artifacts only in master
·
Nov 28, 2018
!10
syntax-doc
549f1e49
·
Add third reference to 'help functors' to 'help' output
·
Nov 26, 2018
ci-stack
446eb586
·
ci: Use older stack snapshot
·
Nov 16, 2018
rationals
7a0526a2
·
Add example for Q^X
·
Nov 16, 2018
!9
double-round
3bcddcd7
·
Use exact comparision for doubles
·
Nov 15, 2018
!8
init-time
36ab9f39
·
main: Whitespace fixes
·
Nov 14, 2018
group-weight
2f9ff2d6
·
Remove first component from GroupWeight and GroupF3
·
Nov 09, 2018
more-h-to-f
2e150e2c
·
Replace even more instances of h3 with f3
·
Nov 09, 2018
h-to-f
767b4937
·
Rename a few type variables from h to f
·
Nov 09, 2018
!7
powerset-bitweight
7ed53a0a
·
Encode the toRest part of Powerset's weight in Int
·
Nov 09, 2018
rename
6b0c6325
·
Rename ma to copar in a few other places
·
Nov 09, 2018
opt/groupBy
7e153b9e
·
Fix benchmarks compilation
·
Nov 09, 2018
powerset-weight
8db7fbd5
·
Remove redundant UNPACK pragma
·
Nov 09, 2018
otimizations
fa32dea8
·
Unpack fields of AlgoState
·
Nov 07, 2018
features/somefunctor-tagged
d9fa0136
·
Stuff
·
Nov 05, 2018
Prev
1
2
3
4
5
6
Next