Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
27
Merged
2,638
Closed
539
All
3,204
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
Add test for PascaLIGO remove syntax which appears to work
!126
· created
Oct 08, 2019
by
John David Pressman
Feature
Merged
Approved
updated
Oct 08, 2019
fix unsupported deep_map assignements and remove. add tests
!125
· created
Oct 08, 2019
by
Rémi
Merged
6
Approved
updated
Jun 12, 2024
Made big_map a keyword, like map.
!124
· created
Oct 08, 2019
by
Christian Rinderknecht
Easy
Merged
updated
Oct 08, 2019
Adding `--rm` to ligo.sh
!123
· created
Oct 07, 2019
by
Tom Jack
Merged
updated
Oct 07, 2019
[LIGO-121] Add simplified AST representation of PascaLIGO's set remove syntax
!122
· created
Oct 07, 2019
by
John David Pressman
Feature
Gardening
Merged
1
Approved
updated
Oct 08, 2019
Resolve mli merge conflict
!121
· created
Oct 07, 2019
by
Tom Jack
Merged
updated
Apr 30, 2021
feature/unsupported_string_catenation
!120
· created
Oct 07, 2019
by
Rémi
Merged
2
Approved
updated
Jun 12, 2024
Gardening for Ligodity and update of the documentation of PascaLIGO.
!119
· created
Oct 07, 2019
by
Christian Rinderknecht
Merged
updated
Apr 30, 2021
Feature/unsupported_ass_none
!118
· created
Oct 07, 2019
by
Rémi
Merged
2
Approved
updated
Jun 12, 2024
[LIGO-114] Add comments to various files in the source tree
!117
· created
Oct 03, 2019
by
John David Pressman
Documentation
Gardening
Merged
1
updated
Oct 15, 2019
Website links
!116
· created
Oct 01, 2019
by
Sander
Merged
updated
Oct 01, 2019
Fix lexer
!115
· created
Oct 01, 2019
by
Sander
Merged
updated
Oct 01, 2019
Add build & packaging scripts for multiplatform ligo binary distribution
!114
· created
Sep 30, 2019
by
Tom Jack
Merged
1
Approved
updated
Oct 11, 2019
Changes for tutorials.
!113
· created
Sep 30, 2019
by
Sander
Merged
updated
Sep 30, 2019
blacken discord icon
!112
· created
Sep 30, 2019
by
Eunji Choi
Merged
updated
Sep 30, 2019
Tuning.
!111
· created
Sep 30, 2019
by
Sander
Merged
updated
Sep 30, 2019
fix icons
!110
· created
Sep 30, 2019
by
Eunji Choi
Merged
updated
Sep 30, 2019
Homepage improvements 2
!109
· created
Sep 30, 2019
by
Sander
Merged
updated
Sep 30, 2019
WIP: Feature/ligo 73 mixing styles error
!108
· created
Sep 29, 2019
by
Sander
Closed
updated
Sep 29, 2019
Feature/homepage syntax highlighting
!107
· created
Sep 28, 2019
by
Sander
Merged
updated
Sep 30, 2019
Prev
1
…
151
152
153
154
155
156
157
158
159
…
161
Next