Merge requests · curry / kics2

Mptc

!20 · created Nov 14, 2024 by Michael Hanus
updated Nov 14, 2024
Migrate to GHC 9.2

!18 · created Jul 14, 2022 by Fredrik Wieczerkowski
updated Feb 06, 2023
Upgrade tree-monad to 0.3.2

!19 · created Sep 05, 2022 by Fredrik Wieczerkowski
- Merged
- Approved
updated Sep 05, 2022
Update frontend to the master branch

!16 · created Mar 11, 2022 by Fredrik Wieczerkowski
- Merged
updated Apr 22, 2022
Add a CI pipeline

!13 · created Jan 25, 2022 by Fredrik Wieczerkowski
- Merged
- Approved
updated Jan 28, 2022
Use libtinfo-dev instead of libtinfo6 in Dockerfile

!12 · created Jan 22, 2022 by Fredrik Wieczerkowski
- Merged
- Approved
updated Jan 24, 2022
Remove Data constraint from defaulted type variables

!11 · created Jan 10, 2022 by Fredrik Wieczerkowski
- Merged
- Approved
updated Jan 19, 2022
Version 3 9 of 9 checklist items completed

!6 · created Feb 23, 2021 by Fredrik Wieczerkowski
- Merged
- Approved
updated Dec 13, 2021
Rewrite context generation to be more concise and correct

!10 · created Mar 26, 2021 by Fredrik Wieczerkowski version3-new
- Merged
updated Mar 26, 2021
Re-integrate bootstrapping targets into version 3's makefiles 8 of 8 checklist items completed

!9 · created Mar 13, 2021 by Fredrik Wieczerkowski version3-new
- Merged
updated Mar 25, 2021
Use GHC environments instead of generating Cabal projects

!8 · created Mar 09, 2021 by Fredrik Wieczerkowski version3-new
- Merged
updated Mar 13, 2021
Fix generation of newtypes and update makefile structure 9 of 9 checklist items completed

!7 · created Mar 06, 2021 by Fredrik Wieczerkowski version3-new
- Merged
updated Mar 08, 2021
Depend on network-bsd

!2 · created Mar 20, 2019 by Jan Path
- Merged
- 1
updated Apr 03, 2019