Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry
curry-libs
Repository
Branches
Overview
Active
Stale
All
Active branches
pakcs2
2371e8a8
·
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
master
default
f33c8cd3
·
Fix typo
·
Oct 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
newConstraints
bbdf3b20
·
Merge remote-tracking branch 'origin' into newConstraints
·
Jul 21, 2014
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bho/kics2
fc7c02b2
·
Remove some parallel strategies
·
Aug 11, 2014
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
constraints
dad4d07d
·
Adapted Makefile for global installation of CLPFD2 library
·
Mar 27, 2015
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
TypedFlatCurry
merged
74292d58
·
Add Target Option for type-annotated FC (former Typed FC)
·
Jul 03, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
release/1.x
3dcb0c91
·
Specification of sort operations improved
·
Oct 09, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar