Branches · Software / CoPaR · GitLab

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

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
linux-bin-artifacts merged

beacc3b5 · Build artifacts only in master · Nov 28, 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
features/disable-sanity merged

b5ababb8 · Refactor and document Copar.Parser module · Dec 01, 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
tutorial merged

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

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

e13739a7 · Update stack.yaml · Mar 11, 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
ci-artifacts

b7d5079e · ci: Save artifacts on non-master branches · Mar 19, 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
fixes merged

f81eea8c · Fix sum in MonoidValued · Mar 21, 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
wta-generator merged

e964655b · wta: Add "hoegberg" output format · Apr 11, 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
mcrl2-converter merged

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

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
specialization

c7e3f73b · hardwired: Actually specialize for the right functor · Feb 24, 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
polynomial_syntax

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

Compare

Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
3
4
5
6
Next