Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Informatik 8
CoPaR
Repository
Branches
Overview
Active
Stale
All
ci-stack
merged
446eb586
·
ci: Use older stack snapshot
·
Nov 16, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
syntax-doc
merged
549f1e49
·
Add third reference to 'help functors' to 'help' output
·
Nov 26, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
linux-bin-artifacts
merged
beacc3b5
·
Build artifacts only in master
·
Nov 28, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ghc-8.4.4
merged
fe4e8c62
·
ci: Switch to GHC 8.4.4
·
Nov 30, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
features/disable-sanity
merged
b5ababb8
·
Refactor and document Copar.Parser module
·
Dec 01, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
web
28d3d054
·
web: Implement graph view
·
Dec 09, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tutorial
merged
0a1af671
·
howto: Adapt to new RefinementInterface
·
Dec 12, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sumbag
merged
733171e8
·
Add microbenchmarks for SumBag
·
Mar 11, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
stack
merged
e13739a7
·
Update stack.yaml
·
Mar 11, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new-monoids
merged
9c877832
·
Refactor MonoidValuedSpec
·
Mar 14, 2019
Compare
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
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bench-hex
merged
f77957a9
·
bench: Add benchmark for hex parser
·
Mar 21, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fixes
merged
f81eea8c
·
Fix sum in MonoidValued
·
Mar 21, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wta-generator
1f8b6e79
·
wta: Implement --out-degree parameter
·
Apr 04, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
debug-partition-size
b8d4a3c2
·
Print partition size while refining
·
Apr 04, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
df381ef8
·
Remove .gitlab-ci.yml
·
Apr 04, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next