Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Nomadic Labs
Albert
Repository
Branches
Overview
Active
Stale
All
julien@proto_ops
fa1df18b
·
WIP! [OTT|Semantics] Adding protocol dependent operations
·
Dec 09, 2019
!7
WTSC20
2516bb6b
·
Put dup, drop, and pairs in the base fragment
·
Dec 11, 2019
julien@custom_label
35646ff0
·
WIP custom labels
·
Mar 31, 2020
rafoo@meta_theory
f65cf063
·
WIP: subject reducion
·
Mar 31, 2020
1-timestamp-in-rfc-3339
d88f7a8b
·
[Doc] Add a README
·
Mar 31, 2020
julien@ast-printer
387e77da
·
Apply suggestion to extraction/.gitignore
·
Apr 07, 2020
!6
julien@CI
ab7e5d1d
·
WIP[CI] build doc and typecheck compiler output
·
Apr 07, 2020
julien@entrypoints
4e5ee32a
·
WIP [spec|compiler] adding toplevel entrypoints and storage compil and typechecking
·
Apr 14, 2020
!10
julien@test-CI
0ce20417
·
WIP
·
Apr 16, 2020
coverage
13015d0c
·
DON'T SAVE: add test stanza to CI
·
Apr 29, 2020
bruno@coverage
cc861008
·
Albert/Examples: add SELF
·
Apr 30, 2020
julien@preprocessor
973d63d7
·
[compiler] using __LOC__ in the compiler
·
Apr 30, 2020
!24
julien@counter-examples
a09deded
·
[build|test] adding counter-examples and their related error logs
·
May 03, 2020
!25
julien@dunify
18b42a26
·
[Build] WIP: project dunification
·
May 26, 2020
!27
julien@proto-ops
6fb24ca1
·
WIP! [OTT|Semantics] Adding protocol dependent operations
·
Jun 10, 2020
master
default
protected
3e1aa157
·
Fix the ott version to be at most 0.30
·
Jul 02, 2020
arvid@increase_coverage-fix-coverage
652ea2d7
·
[test] clean tests before making coverage report
·
Jul 02, 2020
julien@fix_mutez_litteral_parsing
4e0a616c
·
[ott|parser] fix mutez litteral parsing
·
Jul 02, 2020
!30
dev
3b48668b
·
Fixes required for Mi-Cho-Coq dev branch and its certified optimizer
·
Jul 09, 2020
raphael@optimizer-dev
3b48668b
·
Fixes required for Mi-Cho-Coq dev branch and its certified optimizer
·
Jul 09, 2020
Prev
1
2
Next