pakcs merge requestshttps://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests2020-11-30T08:21:56Zhttps://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/13Update currytools to include new System.CurryPath module2020-11-30T08:21:56ZFredrik WieczerkowskiUpdate currytools to include new System.CurryPath moduleSee curry/curry-tools!3 for details.See curry/curry-tools!3 for details.Michael HanusMichael Hanushttps://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/12Add .md extension to readme, release and installation notes2020-11-19T12:39:58ZFredrik WieczerkowskiAdd .md extension to readme, release and installation notesSince these files are already formatted using Markdown syntax, using the .md extension ensures that they get displayed in a formatted way on GitLab too.Since these files are already formatted using Markdown syntax, using the .md extension ensures that they get displayed in a formatted way on GitLab too.https://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/11Pass environment to process_create for SICStus2020-11-17T14:58:40ZFinn TeegenPass environment to process_create for SICStusMichael HanusMichael Hanushttps://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/10Use versioned output directories2020-11-06T16:15:31ZFredrik WieczerkowskiUse versioned output directories### Fixes #29
Instead of `.curry` and `.curry/pakcs`, compile files into `.curry/pakcs-x.y.z` where `x.y.z` is the version.
Depends on curry-libs!8.### Fixes #29
Instead of `.curry` and `.curry/pakcs`, compile files into `.curry/pakcs-x.y.z` where `x.y.z` is the version.
Depends on curry-libs!8.https://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/9Use desugar-newtypes flag with frontend2020-10-29T11:34:32ZFredrik WieczerkowskiUse desugar-newtypes flag with frontendUse `-Odesugar-newtypes` when invoking the frontend. (See curry-frontend!36)Use `-Odesugar-newtypes` when invoking the frontend. (See curry-frontend!36)https://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/8Update to the new, unified frontend2020-10-26T10:45:28ZFredrik WieczerkowskiUpdate to the new, unified frontendBased on !7.
The new frontend combines `curry-base` and `curry-frontend` in a single repository.Based on !7.
The new frontend combines `curry-base` and `curry-frontend` in a single repository.https://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/7Update libraries to fix (=:=) and (=:<=) arities2020-10-26T10:45:17ZFredrik WieczerkowskiUpdate libraries to fix (=:=) and (=:<=) aritiesSee curry-libs!6.See curry-libs!6.https://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/6Add some more frontend-related fixes2020-10-23T14:17:03ZFredrik WieczerkowskiAdd some more frontend-related fixesThis includes fixing the translation of `=:=`, which caused e.g. `True =:= True` to throw an error.This includes fixing the translation of `=:=`, which caused e.g. `True =:= True` to throw an error.https://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/5Update PAKCS to compile with the new frontend2020-10-21T15:41:22ZFredrik WieczerkowskiUpdate PAKCS to compile with the new frontendThis branch updates PAKCS to compile with newer versions of the frontend, specifically curry-frontend!32. Most notably, this includes fixing the dictionary arguments again.This branch updates PAKCS to compile with newer versions of the frontend, specifically curry-frontend!32. Most notably, this includes fixing the dictionary arguments again.https://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/3Fix integer division for large numbers2019-10-28T11:44:53ZKai ProttFix integer division for large numbersMichael HanusMichael Hanushttps://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/2debian/*: Add upstream packaging recipe for Debian and derivatives.2017-09-26T16:22:25ZMike Gabriel mga@informatik.uni-kiel.dedebian/*: Add upstream packaging recipe for Debian and derivatives.This Merge Request adds a debian/ folder to PAKCS that allows the project to be build as is for Debian-like distros, using the command: dpkg-buildpackage -uc -us.
Please investigate, give feedback and merge, if ok.This Merge Request adds a debian/ folder to PAKCS that allows the project to be build as is for Debian-like distros, using the command: dpkg-buildpackage -uc -us.
Please investigate, give feedback and merge, if ok.https://git.ps.informatik.uni-kiel.de/curry/pakcs/-/merge_requests/1Pr/swi prolog 7 x backport to 1.14.x release series2017-09-15T08:31:15ZMike Gabriel mga@informatik.uni-kiel.dePr/swi prolog 7 x backport to 1.14.x release seriesI have backported commits 9dadfbd831f1f372a220a8d81cec5d42ccc48d42 and ced6ac20b8fac6dd5c42c7f19c6fc95f5e181ee2 from the master branch to the release/1.14.x branch (which I just created frome the v1.14.2 release tag.
There were some co...I have backported commits 9dadfbd831f1f372a220a8d81cec5d42ccc48d42 and ced6ac20b8fac6dd5c42c7f19c6fc95f5e181ee2 from the master branch to the release/1.14.x branch (which I just created frome the v1.14.2 release tag.
There were some conflicts in swibasics.pl and sicstusbasics.pl and the RELNOTES.txt file.
@mh: Please review, give feedback if issues pop up or merge. Thanks!Michael HanusMichael Hanus