Merge requests · curry-packages

Skip to content

GitLab

Menu

Projects Groups Snippets

Help
Sign in / Register

C curry-packages
Group information
- Group information
- Activity
- Labels
- Members
Issues 14
- Issues 14
- List
- Board
- Milestones
Merge requests 7
- Merge requests 7
Packages & Registries
- Packages & Registries
- Package Registry

Collapse sidebar

curry-packages
Merge requests

Open 7
Merged 28
Closed 2
All 37

Draft: Use non-backtracking (<!>) over (<|>) where possible

json!1 · created Mar 09, 2022 by Fredrik Wieczerkowski Enhancement Refactoring
- 1
updated Mar 09, 2022
Add JSON schema for CPM package specification files (package.json)

cpm!5 · created Mar 07, 2022 by Fredrik Wieczerkowski Enhancement
- 0
updated Mar 07, 2022
Fix: Add missing (<*>) implementation for StateT

transformers!3 · created Mar 07, 2022 by Fredrik Wieczerkowski Bug
- 0
updated Mar 07, 2022
Add ReaderT and WriterT

transformers!2 · created Mar 07, 2022 by Fredrik Wieczerkowski Enhancement Feature
- 1
updated Mar 07, 2022
Update license year in template to 2022

cpm!4 · created Mar 04, 2022 by Fredrik Wieczerkowski
- 0
updated Mar 04, 2022
Add analysis for Sibling constructors with corresponding type declaration

cass!1 · created Mar 03, 2022 by Niels Bunkenburg
- MERGED
- Approved
- 0
updated Mar 03, 2022
Add type declaration to sibling constructor analysis

cass-analysis!1 · created Mar 01, 2022 by Niels Bunkenburg
- MERGED
- Approved
- 0
updated Mar 01, 2022
Fix dictionary arg in ValueSequence.kics2

searchtree!1 · created Dec 07, 2021 by Fredrik Wieczerkowski
- MERGED
- 0
updated Dec 07, 2021
Replace deprecated `fdSocket` in Socket.kics2

socket!3 · created Jun 14, 2021 by Fredrik Wieczerkowski
- MERGED
- Approved
- 0
updated Jun 15, 2021
Update to base-3.0.0, replace FiniteMap with Data.Map, replace custom Parser combinators with combinators from Prelude

smtlib!1 · created May 28, 2021 by Niels Bunkenburg
- MERGED
- Approved
- 0
updated May 31, 2021
Update to base-3.0.0

smtlib-solver!1 · created May 28, 2021 by Niels Bunkenburg
- MERGED
- Approved
- 0
updated May 31, 2021
Update to base version 3.0.0

finite-map!1 · created May 27, 2021 by Niels Bunkenburg
- MERGED
- Approved
- 0
updated May 27, 2021
Add KiCS2-generated Curry_Main_Goal to generated gitignore

cpm!3 · created Apr 22, 2021 by Fredrik Wieczerkowski
- 2
updated Apr 23, 2021
Add Data.Set.deleteAll

containers!2 · created Apr 14, 2021 by Fredrik Wieczerkowski
- MERGED
- Approved
- 2
updated Dec 13, 2021
Fix qualifier of Curry_IO.C_Handle in Socket.kics2

socket!2 · created Mar 21, 2021 by Fredrik Wieczerkowski
- MERGED
- Approved
- 0
updated Mar 22, 2021
Fix Curry_IO.C_Handle qualifier for KiCS2

io-extra!1 · created Mar 20, 2021 by Fredrik Wieczerkowski
- MERGED
- Approved
- 0
updated Mar 22, 2021
Fix Curry_Time qualifier in Directory.kics2

directory!1 · created Mar 20, 2021 by Fredrik Wieczerkowski
- MERGED
- Approved
- 0
updated Mar 22, 2021
Define C_String explicitly in ReadShowTerm.kics2

read-legacy!1 · created Mar 15, 2021 by Fredrik Wieczerkowski
- CLOSED
- 1
updated Mar 16, 2021
Add outdir to frontend params

frontend-exec!3 · created Feb 04, 2021 by Fredrik Wieczerkowski libs_refactor Enhancement
- MERGED
- Approved
- 0
updated Mar 03, 2022
Use records and add parameter for specifying path to frontend executable

frontend-exec!2 · created Dec 14, 2020 by Fredrik Wieczerkowski libs_refactor
- MERGED
- Approved
- 0
updated Mar 03, 2022

Prev
1
2
Next