Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
Branches
Overview
Active
Stale
All
portability-improvement-for-ci
300ba3b3
·
Merge branch 'dev' into portability-improvement-for-ci
·
Apr 13, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
portability-improvement
ec10d4de
·
Remove legacy unused files.
·
Apr 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
build
b6c9b98e
·
Rebased to dev
·
May 02, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
stream-to-seq
e43614c4
·
Remove usage of the now deprecated Stream module.
·
Sep 30, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
stream-to-seq-compat
df9e1663
·
Remove usage of the now deprecated Stream module.
·
Sep 30, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
custom-order-tallying
c39201a9
·
Implement custom order for tallying.
·
Sep 30, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bdd-cleanup
0e11d754
·
Fix a wrongly moved variable declaration.
·
Oct 11, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
website_build
390adf4f
·
Transition from xhtml.cd to xhtml_tr.cd
·
Nov 14, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
utf8-pretty-printing
e07e795f
·
Proper handling of semantic tags and prettifying
·
Dec 09, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dummy_stag
962da054
·
Compatibility with OCaml 4.07
·
Dec 12, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
types-improvements
b9f5ea7b
·
Properly export environment variables in cduce_mktop tests.
·
Jan 13, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test-tallying
ca1372a1
·
Add a function to test the existence of a tallying solution without computing it.
·
Mar 29, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
popl24ae
b80507c6
·
Merge branch 'test-tallying' into 'dev'
·
Mar 30, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
polymorphic-subtyping-debug
a5ad098f
·
Add subtyping sandbox test.
·
Apr 05, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next