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
113
Closed
24
All
137
Merge trains
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
Draft: Remove self-aliases in type inference database
!844
· created
Oct 15, 2020
by
Suzanne Soy
Typer: Prototype MVP
Review
Type System
Closed
1
Approved
updated
Jun 12, 2024
support for dalphanet (types to be used with michelson insertion)
!837
· created
Oct 09, 2020
by
Rémi
Review
Merged
5
Approved
updated
Oct 22, 2020
Draft: Feature/compile expression prints type
!834
· created
Oct 08, 2020
by
Rémi
Easy
Review
Closed
6
Approved
updated
May 10, 2021
Small changes on the layout file
!826
· created
Sep 30, 2020
by
Pierre-Emmanuel Wulfman
Review
Merged
6
Approved
updated
Oct 15, 2020
Fix: typer function returns environment
!816
· created
Sep 23, 2020
by
Pierre-Emmanuel Wulfman
Review
Merged
Approved
updated
Sep 28, 2020
Upgrade to dune 2
!811
· created
Sep 18, 2020
by
Tom Jack
Review
Merged
1
Approved
updated
Jun 12, 2024
Use `literal` for literals in Mini_c
!810
· created
Sep 18, 2020
by
Tom Jack
Review
Merged
8
Approved
updated
Sep 25, 2020
Bugfix fix broken build after removal of generated code
!807
· created
Sep 18, 2020
by
Suzanne Soy
bugfix-hide-implementation-result-monad
Review
Merged
updated
Sep 18, 2020
update to Docusaurus v2.0.0-alpha.64
!805
· created
Sep 17, 2020
by
Francis
Review
Merged
Approved
updated
Sep 18, 2020
Heuristics can now request removal of some constraints
!801
· created
Sep 13, 2020
by
Suzanne Soy
feature-fundep-inference
Review
Closed
11
Approved
updated
Sep 18, 2020
Lint webide examples
!799
· created
Sep 13, 2020
by
Alexandre Moine
Linter rules and improvements
Review
obsolete?
Closed
3
0 of 1 Approvals
updated
Nov 17, 2021
Fixed bug `0xFFFFF`
!786
· created
Sep 08, 2020
by
Christian Rinderknecht
Bug
Easy
Front End
Review
Merged
1
Approved
updated
Sep 09, 2020
Convert C_LIST_EMPTY to string
!777
· created
Aug 26, 2020
by
Alexandre Moine
Review
Merged
Approved
updated
Aug 27, 2020
Remove unused tests and fix some small issues for the preprocessor build.
!776
· created
Aug 26, 2020
by
Sander
Gardening
Review
Merged
Approved
updated
Aug 27, 2020
Add decompilation for typed program
!774
· created
Aug 24, 2020
by
Alexandre Moine
Review
Merged
2
Approved
updated
Aug 27, 2020
Merge Ast types
!770
· created
Aug 20, 2020
by
Pierre-Emmanuel Wulfman
Review
Merged
10
Approved
updated
Nov 02, 2020
add site policies
!662
· created
Jun 04, 2020
by
Francis
Review
Closed
2
1
updated
Apr 06, 2021
Prev
1
…
3
4
5
6
7
Next