Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
Open sidebar
curry
pakcs
Repository
Branches
Overview
Active
Stale
All
master
default
85df852a
·
Update docker repo location
·
Mar 14, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
translate-c2p-paths
43c255c4
·
Explicitly translate paths when generating c2p state
·
Oct 18, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pakcs2
e0fc46b8
·
Fix functional pattern unification w.r.t. mutable values (due to problem with SICStus 4.7)
·
Oct 08, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix_todo
merged
324f244e
·
fix accidental left over $version
·
Jul 13, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master-setup-ci
merged
53fba180
·
Fix failing "Test Download" scheduled Pipeline job
·
Jun 14, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test-ci-stack-upgrade
606819ef
·
use new image for a test
·
Jun 08, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dataunif
merged
39fd9a62
·
Adapt compiler to new external unification operation
·
Dec 09, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
setup-release-pipeline
352915a3
·
fix inconsistent variable naming
·
Dec 08, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
versioned-outdir
merged
129bf1a6
·
Fix inconsistent indentation
·
Nov 05, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
unified-frontend
merged
f84c6fb8
·
Add the new, unified frontend
·
Oct 23, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
constr-eq-arities
merged
860bba61
·
Update libraries to fix (=:=) and (=:<=) arities
·
Oct 23, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
data-class
74953543
·
Adding 'Data' to Curry
·
Oct 28, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
inversion
9fbe638c
·
Fix linear patterns inside functional patterns
·
Aug 12, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
release/2.x
7c0ae95d
·
Merge branch 'master' into release/2.x
·
Feb 11, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
split_prelude
3f645e20
·
Move built-in types to Base.Types (not working!)
·
Dec 24, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
release/1.15.x
48c692aa
·
References to packages included in manual
·
Oct 17, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
optresiduate
7a6cdfb2
·
readAnalysis added
·
Oct 02, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
release/1.14.x
a306c022
·
debian/control: Use epoch 2 in B-D and D for curry-frontend.
·
Jan 29, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar