Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Repository
Branches
Overview
Active
Stale
All
deps
14c8134e
·
Bump megaparsec dependencies
·
Nov 13, 2019
distci
5f0844e5
·
ci: Update ghc container
·
Jul 26, 2022
distrib-tmp
468f017b
·
Add documentation on distributed refinement
·
Apr 15, 2021
distributed
42322124
·
Merge MR 50 'Update dfa'
·
Jun 20, 2022
double-round
3bcddcd7
·
Use exact comparision for doubles
·
Nov 15, 2018
!8
eliminate-lists
6454e6a3
·
Convert pred array to new Stack data structure
·
Oct 08, 2018
eliminate-lists2
9de49155
·
Explain amortized cost for Stack.push in documentation
·
Oct 17, 2018
fb-signatures-simple
663ff404
·
Add DEncoding (better encoding for naive algorithm)
·
Dec 31, 2020
fb-signatures-simple_stack-ghci
01fad50f
·
Bug in stat output
·
Mar 18, 2021
features/complex-numbers
83deb7b6
·
Clean up code in MonoidValuedSpec
·
Oct 20, 2018
features/disable-sanity
b5ababb8
·
Refactor and document Copar.Parser module
·
Dec 01, 2018
features/double-max-monoid
9c7f1d17
·
Remove some commented out code
·
Oct 25, 2018
features/elim-functor-subterms
b860c591
·
main: Improve some help messages
·
Nov 02, 2018
!6
features/list-functors
f32aa3b8
·
main: Rename 'list_functors' to 'list-functors'
·
Oct 31, 2018
features/somefunctor-any
18903017
·
Add comment about Any usage to SomeFunctor
·
Nov 02, 2018
features/somefunctor-tagged
d9fa0136
·
Stuff
·
Nov 05, 2018
features/true-monoids
55274a40
·
Add example for maxDouble
·
Oct 25, 2018
!5
features/valmari-dfa
786abddc
·
random-dfa: Allow to output a single DFA in multiple formats
·
Oct 24, 2018
fixed-DFA
fd0f754b
·
Update dfa
·
Jun 02, 2022
fixes
f81eea8c
·
Fix sum in MonoidValued
·
Mar 21, 2019
!13
Prev
1
2
3
4
5
6
Next