Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Repository
Branches
Overview
Active
Stale
All
Active branches
polymorphic
316b9fec
·
Update update internal references to devel branch in CI scripts.
·
Dec 03, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
monomorphic
fa333be7
·
Rename devel branch to monomorphic and update internal references in CI scripts.
·
Dec 03, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
devel
fe9b8efb
·
Disable the refining of variables in pattern branches as it may create...
·
Dec 03, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dune-switch
43e3d493
·
Only activate CI for the polymorphic/devel/master branch, not branches whose name contains
·
Nov 09, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
polymorphic-clean-vars
ae9c718e
·
Only activate CI for the polymorphic/devel/master branch, not branches whose name contains
·
Nov 09, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
stable
merged
e661d988
·
Merge branch 'ocamlinterface' into stable
·
Mar 07, 2014
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ocamlinterface
3843b605
·
Add missing files
·
Aug 25, 2014
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test
b7a5d472
·
No modification
·
Oct 02, 2014
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test-kim
75077fa0
·
test
·
Oct 09, 2014
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
syntax/type-instantiation
merged
64b01477
·
Change the behaviour introduced by commit:
bcf40231
·
Feb 17, 2015
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar