Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
15
Merged
842
Closed
156
All
1,013
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
Compile more files from proto proposal
!25
· created
Nov 21, 2020
by
Guillaume Claret
Merged
updated
Nov 21, 2020
Upgrade related to proto-proposal on 2020-11-20
!24
· created
Nov 20, 2020
by
Guillaume Claret
Merged
updated
Nov 20, 2020
Upgrade to proto-proposal on 2020-11-16
!22
· created
Nov 16, 2020
by
Guillaume Claret
Merged
updated
Nov 16, 2020
Add definitions for the environment
!19
· created
Oct 30, 2020
by
Guillaume Claret
Merged
updated
Nov 02, 2020
Add a definition of the environment in smaller files
!18
· created
Oct 30, 2020
by
Guillaume Claret
Merged
updated
Oct 30, 2020
Changes after the rebase for 007
!17
· created
Oct 12, 2020
by
Guillaume Claret
Merged
updated
Oct 30, 2020
Proto proposal september
!16
· created
Sep 07, 2020
by
Guillaume Claret
Merged
updated
Oct 09, 2020
Cosmetic monadic
!15
· created
Sep 03, 2020
by
Guillaume Claret
Merged
updated
Sep 03, 2020
Add the sapling content
!14
· created
Sep 03, 2020
by
Guillaume Claret
Merged
updated
Sep 03, 2020
Use a notation for the monadic types
!13
· created
Aug 24, 2020
by
Guillaume Claret
Merged
updated
Aug 24, 2020
August even more files
!12
· created
Aug 24, 2020
by
Guillaume Claret
Merged
updated
Aug 24, 2020
Add more files august
!11
· created
Aug 19, 2020
by
Guillaume Claret
Merged
updated
Aug 19, 2020
Upgrade the protocol to the current version
!10
· created
Aug 18, 2020
by
Guillaume Claret
Merged
updated
Aug 18, 2020
Upgrade of proto-proposal for the beginning of August
!9
· created
Aug 03, 2020
by
Guillaume Claret
Merged
updated
Aug 03, 2020
Generate and embed the documentation for coq-of-ocaml
!8
· created
Jul 29, 2020
by
Guillaume Claret
Merged
updated
Jul 29, 2020
Various improvements for storage.ml
!7
· created
Jul 18, 2020
by
Guillaume Claret
Merged
updated
Jul 18, 2020
More changes to the interpreter before abandoning (temporarily)
!6
· created
Jul 17, 2020
by
Guillaume Claret
Merged
updated
Jul 17, 2020
Add webpage
!5
· created
Jul 16, 2020
by
Guillaume Claret
Merged
updated
Jul 16, 2020
More compiling files for proto-proposal
!4
· created
Jul 15, 2020
by
Guillaume Claret
Merged
updated
Jul 16, 2020
Rename the complete protocol as demo as it is not exactly Babylon
!3
· created
Jul 14, 2020
by
Guillaume Claret
Merged
updated
Jul 15, 2020
Prev
1
…
38
39
40
41
42
43
Next