Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
0
Merged
13
Closed
0
All
13
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Improve memory efficiency + introduce `@mode` inference
!13
· created
May 27, 2024
by
JoD
Merged
updated
May 27, 2024
improve ranges and division pulling
!12
· created
May 04, 2024
by
JoD
Merged
updated
May 04, 2024
Big update
!11
· created
Apr 24, 2024
by
JoD
Merged
updated
Apr 24, 2024
stronger simplification and addition of invariant checking to IneqExpr
!10
· created
Oct 26, 2023
by
JoD
Merged
Approved
updated
Oct 26, 2023
Add division operator and remainder function to the language
!9
· created
Oct 22, 2023
by
JoD
Merged
Approved
updated
Oct 22, 2023
Improved if-then-else + bugfix bigM
!8
· created
Oct 16, 2023
by
JoD
Merged
updated
Oct 16, 2023
stronger reduction of known functors + other refactors
!7
· created
Oct 03, 2023
by
JoD
Merged
updated
Oct 03, 2023
Enumerate syntax
!6
· created
Sep 24, 2023
by
JoD
Merged
Approved
updated
Sep 24, 2023
Better memory management
!5
· created
Sep 21, 2023
by
JoD
Merged
Approved
updated
Sep 21, 2023
Memory
!4
· created
Aug 22, 2023
by
JoD
Merged
updated
Sep 07, 2023
Types
!3
· created
Aug 01, 2023
by
JoD
Merged
updated
Aug 04, 2023
Definition syntax
!2
· created
Jun 28, 2023
by
JoD
Merged
updated
Jun 28, 2023
python subroutines
!1
· created
Apr 15, 2023
by
JoD
Merged
updated
Apr 15, 2023