Branches · Informatik 8 / CoPaR

Skip to content

GitLab

Projects Groups Snippets

/

Help
Sign in

C CoPaR
Project information
- Project information
- Activity
- Labels
- Members
Repository
- Repository
- Files
- Commits
- Branches
- Tags
- Contributors
- Graph
- Compare
Issues 1
- Issues 1
- List
- Boards
- Service Desk
- Milestones
Merge requests 2
- Merge requests 2
Deployments
- Deployments
- Environments
- Releases
Monitor
- Monitor
- Incidents
Analytics
- Analytics
- Value stream
- Repository
Snippets
- Snippets
Activity
Graph
Create a new issue
Commits
Issue Boards

Collapse sidebar

Informatik 8
CoPaR
Repository
Branches

Overview
Active
Stale
All

master default protected

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

Download source code

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

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

Compare

Download source code

zip tar.gz tar.bz2 tar
wta-generator

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

Compare

Download source code

zip tar.gz tar.bz2 tar
fixes merged

f81eea8c · Fix sum in MonoidValued · Mar 21, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
bench-hex merged

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

Compare

Download source code

zip tar.gz tar.bz2 tar
ci-artifacts

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

Compare

Download source code

zip tar.gz tar.bz2 tar
new-monoids merged

9c877832 · Refactor MonoidValuedSpec · Mar 14, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
stack merged

e13739a7 · Update stack.yaml · Mar 11, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
sumbag merged

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

Compare

Download source code

zip tar.gz tar.bz2 tar
tutorial merged

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

Compare

Download source code

zip tar.gz tar.bz2 tar
web

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

Compare

Download source code

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

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

Compare

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

Download source code

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

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

Compare

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

Download source code

zip tar.gz tar.bz2 tar
ci-stack merged

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

Compare

Download source code

zip tar.gz tar.bz2 tar
rationals merged

7a0526a2 · Add example for Q^X · Nov 16, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
double-round merged

3bcddcd7 · Use exact comparision for doubles · Nov 15, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
init-time merged

36ab9f39 · main: Whitespace fixes · Nov 14, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
group-weight merged

2f9ff2d6 · Remove first component from GroupWeight and GroupF3 · Nov 09, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
3
Next

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code