Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Repository
Branches
Overview
Active
Stale
All
flexible-functors
22fed3e6
·
Implement new functor parsing
·
Jun 26, 2018
functors-take2
b77cf5f4
·
Remove even more unused code
·
Jul 06, 2018
ghc-8.4
b41b2f9e
·
ci: Use GHC 8.4 image
·
Sep 14, 2018
ghc-8.4.4
fe4e8c62
·
ci: Switch to GHC 8.4.4
·
Nov 30, 2018
ghc-8.8
c54429a9
·
enable `generic` for json
·
Oct 19, 2020
!39
group-valued-int
fe31375c
·
add test for int-valued
·
May 13, 2020
!22
group-weight
2f9ff2d6
·
Remove first component from GroupWeight and GroupF3
·
Nov 09, 2018
h-to-f
767b4937
·
Rename a few type variables from h to f
·
Nov 09, 2018
!7
h1-initialize
814f7644
·
Speed up MorphismEncoding creation from parser state
·
Oct 08, 2018
init-time
36ab9f39
·
main: Whitespace fixes
·
Nov 14, 2018
linux-bin-artifacts
beacc3b5
·
Build artifacts only in master
·
Nov 28, 2018
!10
main-refactor
a285d396
·
tests: Remove unused imports
·
Nov 17, 2020
!47
master
default
protected
c9ad60cd
·
Fix compilation on GHC 8.6
·
Sep 06, 2023
mcrl2-converter
26aaab17
·
cabal: Disable -Wname-shadowing for prism-converter
·
Jun 19, 2019
megaparsec-7
153d504f
·
Remove unnecessary imports
·
Oct 03, 2018
mini-tests-cleanup
8c07590f
·
examples: Give dfa example an initial state
·
Nov 13, 2020
!46
minimize
b213aa49
·
test minimization
·
Sep 25, 2020
!33
minimize-timing
7b3d9264
·
need more stats
·
Oct 13, 2020
!38
more-h-to-f
2e150e2c
·
Replace even more instances of h3 with f3
·
Nov 09, 2018
new-monoids
9c877832
·
Refactor MonoidValuedSpec
·
Mar 14, 2019
Prev
1
2
3
4
5
6
Next