Merge requests · cduce / cduce

Compatibility fix for OCaml 5.2.0

!32 · created Nov 29, 2024 by Kim Nguyễn dev
- Merged
updated Nov 29, 2024
Refactor exception handling code.

!30 · created Apr 02, 2024 by Kim Nguyễn dev
- Merged
updated Apr 02, 2024
Update Dockerfile and CI related scripts.

!31 · created Apr 02, 2024 by Kim Nguyễn dev
- Merged
updated Apr 02, 2024
Tentative fix for the soundness bug in the subtyping algorithm.

!29 · created Mar 19, 2024 by Kim Nguyễn dev
- Merged
updated Mar 20, 2024
Tidy-up the CI script.

!28 · created Mar 19, 2024 by Kim Nguyễn dev
- Merged
- Approved
updated Mar 19, 2024
Refactor of Exceptions

!27 · created Feb 29, 2024 by Tomaz Mascarenhas Refactor of Exceptions dev
Improvement
- Merged
- Approved
updated Mar 15, 2024
Replace `num` library by `zarith`

!26 · created Jan 10, 2024 by Tomaz Mascarenhas dev
- Merged
- Approved
updated Jan 26, 2024
Fix `sed` on MacOS and remove --pin and updates on CI

!25 · created Jan 08, 2024 by Tomaz Mascarenhas dev
- Merged
- 1
- 1
- Approved
updated Jan 19, 2024
Remove support for OCaml version 4.07.1 and older

!24 · created Dec 21, 2023 by Tomaz Mascarenhas dev
- Merged
- 1
- Approved
updated Jan 05, 2024
Test tallying

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

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

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

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

!16 · created Sep 30, 2022 by Kim Nguyễn dev
- Merged
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
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
updated Sep 30, 2022
Whole code base formatting

!15 · created Sep 30, 2022 by Kim Nguyễn dev
- Merged
updated Sep 30, 2022