Skip to content
GitLab
Explore
Sign in
Informatik 8
CoPaR
Repository
Branches
Overview
Active
Stale
All
master
default
protected
df381ef8
·
Remove .gitlab-ci.yml
·
Apr 04, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
debug-partition-size
b8d4a3c2
·
Print partition size while refining
·
Apr 04, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wta-generator
1f8b6e79
·
wta: Implement --out-degree parameter
·
Apr 04, 2019
!12
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fixes
f81eea8c
·
Fix sum in MonoidValued
·
Mar 21, 2019
!13
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bench-hex
f77957a9
·
bench: Add benchmark for hex parser
·
Mar 21, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci-artifacts
b7d5079e
·
ci: Save artifacts on non-master branches
·
Mar 19, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new-monoids
9c877832
·
Refactor MonoidValuedSpec
·
Mar 14, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
stack
e13739a7
·
Update stack.yaml
·
Mar 11, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sumbag
733171e8
·
Add microbenchmarks for SumBag
·
Mar 11, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tutorial
0a1af671
·
howto: Adapt to new RefinementInterface
·
Dec 12, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
web
28d3d054
·
web: Implement graph view
·
Dec 09, 2018
!11
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
features/disable-sanity
b5ababb8
·
Refactor and document Copar.Parser module
·
Dec 01, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ghc-8.4.4
fe4e8c62
·
ci: Switch to GHC 8.4.4
·
Nov 30, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
linux-bin-artifacts
beacc3b5
·
Build artifacts only in master
·
Nov 28, 2018
!10
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
syntax-doc
549f1e49
·
Add third reference to 'help functors' to 'help' output
·
Nov 26, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci-stack
446eb586
·
ci: Use older stack snapshot
·
Nov 16, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rationals
7a0526a2
·
Add example for Q^X
·
Nov 16, 2018
!9
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
double-round
3bcddcd7
·
Use exact comparision for doubles
·
Nov 15, 2018
!8
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
init-time
36ab9f39
·
main: Whitespace fixes
·
Nov 14, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
group-weight
2f9ff2d6
·
Remove first component from GroupWeight and GroupF3
·
Nov 09, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next