Merge requests · pub / colibrics

Use contextual hashtbl in Egraph instead of PatriciaTrees

!69 · created Sep 04, 2024 by François Bobot
- Merged
- 5
updated Sep 11, 2024
Update dolmen version to 0.10

!68 · created Jul 27, 2024 by Hichem R. A.
- Merged
updated Aug 02, 2024
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
Merge nseq

!63 · created May 22, 2024 by François Bobot
- Merged
- Approved
updated May 22, 2024
Add viewer-app/ react project in ui/

!62 · created May 22, 2024 by Christophe Junke
- Merged
- 3
updated May 31, 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
Draft: use why3find

!58 · created Apr 08, 2024 by François Bobot
- 1
updated Jan 01, 2025
Improve nsequence, arrays and implement diff logic

!57 · created Mar 26, 2024 by François Bobot
- Merged
updated Mar 26, 2024
Draft: use nix for CI

!56 · created Mar 05, 2024 by François Bobot
updated Mar 26, 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
Update core to v1.16.1

!53 · created Jan 29, 2024 by Hichem R. A.
- Merged
- 2
- Approved
updated Jan 30, 2024
Update core to v1.16.1

!52 · created Jan 27, 2024 by Hichem R. A.
- Closed
- 3
updated Jan 29, 2024
[LRA] expose builtins

!51 · created Jan 08, 2024 by Hichem R. A.
- Merged
- Approved
updated Jan 08, 2024
New year improvements

!50 · created Jan 08, 2024 by François Bobot
- Merged
- 3
updated Jan 22, 2024