Merge requests · curry / pakcs · GitLab

Master setup ci

!14 · created Dec 19, 2020 by Bennet Bleßmann master
- Merged
- 1
updated Dec 21, 2020
Update currytools to include new System.CurryPath module

!13 · created Nov 28, 2020 by Fredrik Wieczerkowski master
- Merged
- Approved
updated Nov 30, 2020
Add .md extension to readme, release and installation notes

!12 · created Nov 18, 2020 by Fredrik Wieczerkowski master
Documentation
- Merged
- Approved
updated Nov 19, 2020
Pass environment to process_create for SICStus

!11 · created Nov 17, 2020 by Finn Teegen master
- Merged
- Approved
updated Nov 17, 2020
Use versioned output directories

!10 · created Nov 05, 2020 by Fredrik Wieczerkowski master
- Merged
- 2
updated Nov 06, 2020
Use desugar-newtypes flag with frontend

!9 · created Oct 28, 2020 by Fredrik Wieczerkowski master
- Merged
updated Oct 29, 2020
Update to the new, unified frontend

!8 · created Oct 23, 2020 by Fredrik Wieczerkowski master
- Merged
updated Oct 26, 2020
Update libraries to fix (=:=) and (=:<=) arities

!7 · created Oct 23, 2020 by Fredrik Wieczerkowski master
- Merged
updated Oct 26, 2020
Add some more frontend-related fixes

!6 · created Oct 23, 2020 by Fredrik Wieczerkowski master
- Merged
updated Oct 23, 2020
Update PAKCS to compile with the new frontend

!5 · created Oct 20, 2020 by Fredrik Wieczerkowski master
- Merged
updated Oct 21, 2020
OLD: Update PAKCS to compile with the new frontend

!4 · created Oct 17, 2020 by Fredrik Wieczerkowski master
- Closed
- 1
updated Oct 21, 2020
Fix integer division for large numbers

!3 · created Oct 19, 2019 by Kai Prott master
- Merged
updated Oct 28, 2019
debian/*: Add upstream packaging recipe for Debian and derivatives.

!2 · created Sep 22, 2017 by Mike Gabriel release/1.14.x
- Merged
- 5
updated Sep 26, 2017
Pr/swi prolog 7 x backport to 1.14.x release series

!1 · created Sep 15, 2017 by Mike Gabriel release/1.14.x
- Merged
updated Sep 15, 2017

Prev
1
2
Next