Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Software
CoPaR
Repository
Branches
Overview
Active
Stale
All
Predetermine-unstable-states
27ea4abb
·
Big type cleanup.
·
Aug 05, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Master-Distributed-Merge
e087d11f
·
Merge remote-tracking branch 'origin/distci' into Master-Distributed-Merge
·
Jul 26, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
distci
5f0844e5
·
ci: Update ghc container
·
Jul 26, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Comments_to_help_Silas_understand_the_Alg
fe8903e4
·
Bunch of comments and some trivial refactoring.
·
Jul 07, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
0420bdac
·
Update dfa
·
Jun 20, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
test_release
distributed
42322124
·
Merge MR 50 'Update dfa'
·
Jun 20, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fixed-DFA
fd0f754b
·
Update dfa
·
Jun 02, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
