Branches · Informatik 8 / CoPaR · GitLab

ci-stack

446eb586 · ci: Use older stack snapshot · Nov 16, 2018

Download source code

zip tar.gz tar.bz2 tar
syntax-doc

549f1e49 · Add third reference to 'help functors' to 'help' output · Nov 26, 2018

Download source code

zip tar.gz tar.bz2 tar
linux-bin-artifacts

beacc3b5 · Build artifacts only in master · Nov 28, 2018

!10

Download source code

zip tar.gz tar.bz2 tar
ghc-8.4.4

fe4e8c62 · ci: Switch to GHC 8.4.4 · Nov 30, 2018

Download source code

zip tar.gz tar.bz2 tar
features/disable-sanity

b5ababb8 · Refactor and document Copar.Parser module · Dec 01, 2018

Download source code

zip tar.gz tar.bz2 tar
web

28d3d054 · web: Implement graph view · Dec 09, 2018

!11

Download source code

zip tar.gz tar.bz2 tar
tutorial

0a1af671 · howto: Adapt to new RefinementInterface · Dec 12, 2018

Download source code

zip tar.gz tar.bz2 tar
sumbag

733171e8 · Add microbenchmarks for SumBag · Mar 11, 2019

Download source code

zip tar.gz tar.bz2 tar
stack

e13739a7 · Update stack.yaml · Mar 11, 2019

Download source code

zip tar.gz tar.bz2 tar
new-monoids

9c877832 · Refactor MonoidValuedSpec · Mar 14, 2019

Download source code

zip tar.gz tar.bz2 tar
ci-artifacts

b7d5079e · ci: Save artifacts on non-master branches · Mar 19, 2019

Download source code

zip tar.gz tar.bz2 tar
bench-hex

f77957a9 · bench: Add benchmark for hex parser · Mar 21, 2019

Download source code

zip tar.gz tar.bz2 tar
fixes

f81eea8c · Fix sum in MonoidValued · Mar 21, 2019

!13

Download source code

zip tar.gz tar.bz2 tar
wta-generator

1f8b6e79 · wta: Implement --out-degree parameter · Apr 04, 2019

!12

Download source code

zip tar.gz tar.bz2 tar
debug-partition-size

b8d4a3c2 · Print partition size while refining · Apr 04, 2019

Download source code

zip tar.gz tar.bz2 tar
master default protected

df381ef8 · Remove .gitlab-ci.yml · Apr 04, 2019

Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
3
Next