Merge requests · cduce / cduce

Test tallying

!23 · created Mar 29, 2023 by Kim Nguyễn dev
- MERGED
- Approved
- 2
updated Mar 30, 2023
CI Improvements and OCaml 5.0.0 compatibility

!22 · created Jan 13, 2023 by Kim Nguyễn dev
- MERGED
- 0
updated Jan 14, 2023
Several improvements to types, subtyping and tallying.

!21 · created Jan 13, 2023 by Kim Nguyễn dev
- MERGED
- Approved
- 0
updated Jan 13, 2023
Compatibility with OCaml 4.07

!20 · created Dec 12, 2022 by Mattias dev
- MERGED
- 0
updated Dec 12, 2022
Remove usage of the now deprecated Stream module.

!16 · created Sep 30, 2022 by Kim Nguyễn dev
- MERGED
- 0
updated Dec 12, 2022
Pretty printing of some symbols

!14 · created Sep 29, 2022 by Mattias Usability dev Improvement Pretty-Printing
- MERGED
- 8
updated Dec 09, 2022
Deleted the website from the cduce repo

!19 · created Nov 15, 2022 by Mattias dev
- MERGED
- 2
updated Dec 09, 2022
Improve performances of type substitutions.

!18 · created Sep 30, 2022 by Kim Nguyễn dev
- MERGED
- 0
updated Sep 30, 2022
Parameterize the tallying algorithm and datastructre with a custom order.

!12 · created Aug 24, 2022 by Kim Nguyễn dev
- MERGED
- 5
updated Sep 30, 2022
Implement custom order for tallying.

!17 · created Sep 30, 2022 by Kim Nguyễn dev
- MERGED
- 0
updated Sep 30, 2022
Whole code base formatting

!15 · created Sep 30, 2022 by Kim Nguyễn dev
- MERGED
- 0
updated Sep 30, 2022
Improve the portability of the build system and tools

!9 · created Apr 13, 2022 by Kim Nguyễn dev
- MERGED
- Approved
- 8
updated Apr 28, 2022
Build system

!1 · created Mar 17, 2022 by Mattias dev
- MERGED
- Approved
- 7
updated Apr 13, 2022
Convert all tests to dune's cram test format.

!5 · created Apr 04, 2022 by Kim Nguyễn dev
- MERGED
- Approved
- 0
updated Apr 04, 2022
Update .gitlab-ci.yml file and script.

!6 · created Apr 04, 2022 by Kim Nguyễn dev
- MERGED
- Approved
- 2
updated Apr 04, 2022
OCaml 4.14.0 compatibility

!4 · created Mar 30, 2022 by Kim Nguyễn dev
- MERGED
- Approved
- 2
updated Mar 31, 2022