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
Fix the ott version to be at most 0.30
!28
· created
Jul 02, 2020
by
Raphaël Cauderlier
Merged
updated
Jul 02, 2020
WIP: project dunification
!27
· created
May 26, 2020
by
Julien
updated
May 26, 2020
Integrate the certified optimizer
!26
· created
May 14, 2020
by
Raphaël Cauderlier
beta release
dev
compiler
priority
high
Closed
1
0 of 1 Approvals
updated
Jul 09, 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
[documentation] Add opam instructions to README.org
!22
· created
Apr 29, 2020
by
Arvid Jakobsson
Merged
4
Approved
updated
May 04, 2020
Tools for calculating test coverage and integration in CI
!21
· created
Apr 29, 2020
by
Arvid Jakobsson
Merged
20
updated
Jun 18, 2020
[documentation] Fix Docker README to use GitLab docker registry
!20
· created
Apr 28, 2020
by
Arvid Jakobsson
Merged
Approved
updated
May 26, 2020
[build] .opam file: language fixes, update maintainer and add tags
!19
· created
Apr 22, 2020
by
Arvid Jakobsson
Merged
14
2
Approved
updated
Apr 28, 2020
Add Docker file and build it in CI
!18
· created
Apr 22, 2020
by
Arvid Jakobsson
Merged
3
Approved
updated
Apr 28, 2020
[build] add missing newlines at end of files
!17
· created
Apr 07, 2020
by
Raphaël Cauderlier
priority
low
Merged
5
updated
Apr 30, 2020
[build] ignore files generated by Coq 8.11
!16
· created
Apr 07, 2020
by
Raphaël Cauderlier
priority
low
Merged
1
updated
Apr 09, 2020
WIP: Resolve "Timestamp in RFC 3339"
!15
· created
Apr 02, 2020
by
Raphaël Cauderlier
Doing
enhancement
Closed
updated
Apr 02, 2020
WIP: Subject reduction for the base + toplevel fragment
!14
· created
Mar 31, 2020
by
Raphaël Cauderlier
meta-theory
Closed
0 of 1 Approvals
updated
Sep 20, 2023
Timestamp strings following RFC3339
!13
· created
Mar 31, 2020
by
Raphaël Cauderlier
enhancement
Merged
14
updated
May 23, 2020
[Doc] Add a README
!12
· created
Feb 25, 2020
by
Raphaël Cauderlier
documentation
Merged
12
updated
Apr 01, 2020
[emacs mode] Fix undefined default-indent-size
!11
· created
Feb 17, 2020
by
Julien
bug
emacs-mode
Merged
updated
Feb 25, 2020
Prev
1
2
Next