Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
9
Merged
16
Closed
5
All
30
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
WIP: [ott|parser] fix mutez litteral parsing
!30
· created
Jul 02, 2020
by
Julien
beta release
bug
2
updated
Jul 04, 2020
Increase coverage
!29
· created
Jul 02, 2020
by
Raphaël Cauderlier
dev
Doing
priority
high
test
updated
Sep 20, 2023
WIP: project dunification
!27
· created
May 26, 2020
by
Julien
updated
May 26, 2020
[build|test] adding counter-examples and their related error logs
!25
· created
May 02, 2020
by
Julien
3
updated
May 04, 2020
WIP: preprocessor to handle file location in messages
!24
· created
Apr 30, 2020
by
Julien
1
updated
May 03, 2020
WIP Bruno@coverage
!23
· created
Apr 30, 2020
by
Bruno B
beta release
coverage
Doing
priority
high
test
updated
Nov 04, 2021
WIP: Synthesis of entrypoints dispatcher
!10
· created
Feb 17, 2020
by
Julien
beta release
compiler
enhancement
specification
updated
Apr 14, 2020
WIP: Adding protocol specific operations
!7
· created
Dec 06, 2019
by
Julien
6
updated
Apr 07, 2020
WIP: AST and intermediate step printer
!6
· created
Dec 02, 2019
by
Julien
4
updated
Jun 01, 2023