Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Brian Guo
Mi-Cho-Coq
Repository
Branches
Overview
Active
Stale
All
Stale branches
julien@extraction
9fa0d6f5
·
OTT now compiles
·
Mar 14, 2019
Julien@adding_contracts
52f92a69
·
Adding Mutually calling contracts
·
Mar 15, 2019
miguelito
c1a9d0be
·
Miguelito some progress
·
Mar 28, 2019
raphael@micheline
cc61e9ca
·
[typer] Certified Michelson type-checker/type-inferrer
·
Apr 03, 2019
master
default
protected
e2e399cd
·
[CI] Continuous integration
·
Apr 03, 2019