Merge requests · pub / colibrics

Amelioration in sequence theory

!67 · created Jul 16, 2024 by François Bobot
- Merged
updated Jul 16, 2024
colibri2: pin dolmen version to 0.9

!66 · created Jul 01, 2024 by Christophe Junke
updated Jul 01, 2024
Pin dolmen version to 0.9

!65 · created Jul 01, 2024 by Christophe Junke
updated Jul 01, 2024
Remove unnecessary Core depdency

!64 · created Jun 07, 2024 by Hichem R. A.
- Merged
- 1
updated Jun 17, 2024
Add viewer-app/ react project in ui/

!62 · created May 22, 2024 by Christophe Junke
- Merged
- 3
updated May 31, 2024
Merge nseq

!63 · created May 22, 2024 by François Bobot
- Merged
- Approved
updated May 22, 2024
Update array and sequence

!61 · created May 22, 2024 by François Bobot
- Merged
- 3
updated May 22, 2024
Bump trace version needed

!60 · created May 22, 2024 by François Bobot
- Merged
updated May 22, 2024
Add custom collector

!59 · created Apr 22, 2024 by Christophe Junke
updated May 22, 2024
Bobot/decisions

!55 · created Mar 05, 2024 by François Bobot
- Merged
updated May 16, 2024
Add tracing information

!54 · created Mar 01, 2024 by Christophe Junke
- Merged
- 7
updated Mar 26, 2024
Improve nsequence, arrays and implement diff logic

!57 · created Mar 26, 2024 by François Bobot
- Merged
updated Mar 26, 2024
Update core to v1.16.1

!53 · created Jan 29, 2024 by Hichem R. A.
- Merged
- 2
- Approved
updated Jan 30, 2024
New year improvements

!50 · created Jan 08, 2024 by François Bobot
- Merged
- 3
updated Jan 22, 2024
[LRA] expose builtins

!51 · created Jan 08, 2024 by Hichem R. A.
- Merged
- Approved
updated Jan 08, 2024
Bobot/abs

!49 · created Dec 20, 2023 by François Bobot
- Merged
updated Dec 20, 2023
Fixes

!47 · created Dec 07, 2023 by François Bobot
- Merged
- 2
updated Dec 20, 2023
Small fixes in dune projects

!48 · created Dec 08, 2023 by Christophe Junke
- Merged
- 4
updated Dec 11, 2023
Add simplified regression test for init

!46 · created Nov 30, 2023 by François Bobot
- Merged
- 1
updated Dec 07, 2023
Fix unsoundness with sqrt

!45 · created Nov 29, 2023 by François Bobot
- Merged
updated Nov 29, 2023