Skip to content
GitLab
Explore
Sign in
pub
colibrics
Merge requests
Open
2
Merged
53
Closed
2
All
57
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
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
0
updated
Mar 26, 2024
Update core to v1.16.1
!53
· created
Jan 29, 2024
by
Hichem R. A.
Merged
Approved
2
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
0
updated
Jan 08, 2024
Bobot/abs
!49
· created
Dec 20, 2023
by
François Bobot
Merged
0
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
0
updated
Nov 29, 2023
Allows to detect contradiction when looking for choices
!44
· created
Nov 16, 2023
by
François Bobot
Merged
4
updated
Nov 21, 2023
Fix and simplify interpretation
!39
· created
Oct 12, 2023
by
François Bobot
Merged
0
updated
Nov 16, 2023
Fixes propagation of zero into known non-zero variable
!43
· created
Oct 26, 2023
by
François Bobot
Merged
0
updated
Nov 16, 2023
Fix model finding for reals
!42
· created
Oct 16, 2023
by
François Bobot
Merged
0
updated
Oct 20, 2023
[Simplex] readd the accelerator when looking for equalities
!41
· created
Oct 13, 2023
by
François Bobot
Merged
0
updated
Oct 13, 2023
Uninterp use disequalities for models
!40
· created
Oct 13, 2023
by
François Bobot
Merged
0
updated
Oct 13, 2023
Minor cosmetic changes
!38
· created
Oct 11, 2023
by
Hichem R. A.
Merged
Approved
0
updated
Oct 12, 2023
Bobot/abs
!36
· created
Oct 05, 2023
by
François Bobot
Merged
0
updated
Oct 11, 2023
Regression
!37
· created
Oct 10, 2023
by
François Bobot
Merged
0
updated
Oct 10, 2023
Simplify equality module by using tag even if disequality unknown
!33
· created
Jun 15, 2023
by
François Bobot
Merged
Approved
0
updated
Sep 23, 2023
Prev
1
2
3
Next