Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
omit-braces
886da5c9
·
omit braces in AbsorbingPolynomial
·
May 20, 2020
!24
print-functor
f757c731
·
printParseableFunctor: omit unnecessary braces
·
May 18, 2020
!23
group-valued-int
fe31375c
·
add test for int-valued
·
May 13, 2020
!22
defined-twice
3ea6c77e
·
add missing space to "defined twice" error
·
Apr 17, 2020
!18
product
f4c61489
·
ok
·
Apr 17, 2020
typo2
08329c55
·
typo2
·
Apr 03, 2020
typo
197c3fe7
·
fix typo
·
Apr 03, 2020
!16
polynomial_syntax
eb806317
·
use `->` instead of `:` for polynomials
·
Apr 01, 2020
poly-opt
470262ed
·
Polynomial: Specialize parser monad
·
Feb 26, 2020
specialization
c7e3f73b
·
hardwired: Actually specialize for the right functor
·
Feb 24, 2020
!15
deps
14c8134e
·
Bump megaparsec dependencies
·
Nov 13, 2019
mcrl2-converter
26aaab17
·
cabal: Disable -Wname-shadowing for prism-converter
·
Jun 19, 2019
ratio-syntax
903c3200
·
Add some tests for rational-valued functor
·
May 29, 2019
!14
wta-generator
e964655b
·
wta: Add "hoegberg" output format
·
Apr 11, 2019
!12
debug-partition-size
b8d4a3c2
·
Print partition size while refining
·
Apr 04, 2019
fixes
f81eea8c
·
Fix sum in MonoidValued
·
Mar 21, 2019
!13
bench-hex
f77957a9
·
bench: Add benchmark for hex parser
·
Mar 21, 2019
ci-artifacts
b7d5079e
·
ci: Save artifacts on non-master branches
·
Mar 19, 2019
new-monoids
9c877832
·
Refactor MonoidValuedSpec
·
Mar 14, 2019
stack
e13739a7
·
Update stack.yaml
·
Mar 11, 2019
Prev
1
2
3
4
5
6
Next