Branches · Software / CoPaR · GitLab

Skip to content

GitLab

Projects Groups Topics Snippets

/

Help
Sign in

C CoPaR
Project information
- Project information
- Activity
- Labels
- Members
Repository
- Repository
- Files
- Commits
- Branches
- Tags
- Contributor statistics
- Graph
- Compare revisions
Issues 4
- Issues 4
- List
- Boards
- Service Desk
- Milestones
Merge requests 5
- Merge requests 5
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

Software
CoPaR
Repository
Branches

Overview
Active
Stale
All

print-functor merged

f757c731 · printParseableFunctor: omit unnecessary braces · May 18, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
group-valued-int merged

fe31375c · add test for int-valued · May 13, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
defined-twice merged

3ea6c77e · add missing space to "defined twice" error · Apr 17, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
product

f4c61489 · ok · Apr 17, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
typo2

08329c55 · typo2 · Apr 03, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
typo merged

197c3fe7 · fix typo · Apr 03, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
polynomial_syntax

eb806317 · use `->` instead of `:` for polynomials · Apr 01, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
poly-opt merged

470262ed · Polynomial: Specialize parser monad · Feb 26, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
specialization

c7e3f73b · hardwired: Actually specialize for the right functor · Feb 24, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
deps merged

14c8134e · Bump megaparsec dependencies · Nov 13, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
mcrl2-converter merged

26aaab17 · cabal: Disable -Wname-shadowing for prism-converter · Jun 19, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
ratio-syntax merged

903c3200 · Add some tests for rational-valued functor · May 29, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
wta-generator merged

e964655b · wta: Add "hoegberg" output format · Apr 11, 2019

Compare

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
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

Prev
1
2
3
4
5
6
Next