Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Repository
Branches
Overview
Active
Stale
All
syntax-doc
549f1e49
·
Add third reference to 'help functors' to 'help' output
·
Nov 26, 2018
linux-bin-artifacts
beacc3b5
·
Build artifacts only in master
·
Nov 28, 2018
!10
ghc-8.4.4
fe4e8c62
·
ci: Switch to GHC 8.4.4
·
Nov 30, 2018
features/disable-sanity
b5ababb8
·
Refactor and document Copar.Parser module
·
Dec 01, 2018
web
28d3d054
·
web: Implement graph view
·
Dec 09, 2018
!11
tutorial
0a1af671
·
howto: Adapt to new RefinementInterface
·
Dec 12, 2018
sumbag
733171e8
·
Add microbenchmarks for SumBag
·
Mar 11, 2019
stack
e13739a7
·
Update stack.yaml
·
Mar 11, 2019
new-monoids
9c877832
·
Refactor MonoidValuedSpec
·
Mar 14, 2019
ci-artifacts
b7d5079e
·
ci: Save artifacts on non-master branches
·
Mar 19, 2019
bench-hex
f77957a9
·
bench: Add benchmark for hex parser
·
Mar 21, 2019
fixes
f81eea8c
·
Fix sum in MonoidValued
·
Mar 21, 2019
!13
debug-partition-size
b8d4a3c2
·
Print partition size while refining
·
Apr 04, 2019
wta-generator
e964655b
·
wta: Add "hoegberg" output format
·
Apr 11, 2019
!12
ratio-syntax
903c3200
·
Add some tests for rational-valued functor
·
May 29, 2019
!14
mcrl2-converter
26aaab17
·
cabal: Disable -Wname-shadowing for prism-converter
·
Jun 19, 2019
deps
14c8134e
·
Bump megaparsec dependencies
·
Nov 13, 2019
specialization
c7e3f73b
·
hardwired: Actually specialize for the right functor
·
Feb 24, 2020
!15
poly-opt
470262ed
·
Polynomial: Specialize parser monad
·
Feb 26, 2020
polynomial_syntax
eb806317
·
use `->` instead of `:` for polynomials
·
Apr 01, 2020
Prev
1
2
3
4
5
6
Next