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: Synthesis of entrypoints dispatcher
!10
· created
Feb 17, 2020
by
Julien
beta release
compiler
enhancement
specification
updated
Apr 14, 2020
make images for every branch + latest on master
!9
· created
Dec 12, 2019
by
Johann Tanzer
docker
Closed
5
updated
Apr 22, 2020
Improved error messages
!8
· created
Dec 11, 2019
by
Arvid Jakobsson
Merged
8
Approved
updated
Apr 07, 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
WIP: balance opcode
!5
· created
Nov 29, 2019
by
Julien
Closed
2
updated
Dec 06, 2019
Fix the `vote_wth_fun` example
!4
· created
Nov 28, 2019
by
Raphaël Cauderlier
Merged
updated
Nov 28, 2019
[Compiler|optimizer] Fix a bug in the optimizer
!3
· created
Nov 26, 2019
by
Raphaël Cauderlier
Merged
1
1
updated
Nov 28, 2019
Not-so-pretty printer for the Albert syntax
!2
· created
Nov 25, 2019
by
Raphaël Cauderlier
Merged
14
updated
Nov 29, 2019
Compiler
!1
· created
Nov 25, 2019
by
Raphaël Cauderlier
Merged
updated
Nov 25, 2019
Prev
1
2
Next