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}}
Updated date
Fix the ott version to be at most 0.30
!28
· created
Jul 02, 2020
by
Raphaël Cauderlier
Merged
updated
Jul 02, 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
Timestamp strings following RFC3339
!13
· created
Mar 31, 2020
by
Raphaël Cauderlier
enhancement
Merged
14
updated
May 23, 2020
[documentation] Add opam instructions to README.org
!22
· created
Apr 29, 2020
by
Arvid Jakobsson
Merged
4
Approved
updated
May 04, 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
Add Docker file and build it in CI
!18
· created
Apr 22, 2020
by
Arvid Jakobsson
Merged
3
Approved
updated
Apr 28, 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
[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
Improved error messages
!8
· created
Dec 11, 2019
by
Arvid Jakobsson
Merged
8
Approved
updated
Apr 07, 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
Not-so-pretty printer for the Albert syntax
!2
· created
Nov 25, 2019
by
Raphaël Cauderlier
Merged
14
updated
Nov 29, 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
Compiler
!1
· created
Nov 25, 2019
by
Raphaël Cauderlier
Merged
updated
Nov 25, 2019