https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 18d79527466faa7a7cf551c32f82fe69a2daa870 authored by Yann Regis-Gianas on 30 April 2021, 09:32:40 UTC
Merge branch 'cpmm2-verification--tokenToToken' into 'arvid@cpmm2-verification'
Tip revision: 18d7952
File Mode Size
extraction
of_ocaml
.gitignore -rw-r--r-- 47 bytes
Makefile.local -rw-r--r-- 1.4 KB
bytes_repr.v -rw-r--r-- 7.3 KB
comparable.v -rw-r--r-- 16.8 KB
configure -rwxr-xr-x 1.3 KB
error.v -rw-r--r-- 11.1 KB
error_pp.v -rw-r--r-- 912 bytes
int64bv.v -rw-r--r-- 13.0 KB
location.v -rw-r--r-- 734 bytes
macros.v -rw-r--r-- 9.1 KB
main.v -rw-r--r-- 2.3 KB
map.v -rw-r--r-- 38.1 KB
micheline2michelson.v -rw-r--r-- 30.5 KB
micheline_lexer.v -rw-r--r-- 12.3 KB
micheline_parser.vy -rw-r--r-- 2.0 KB
micheline_pp.v -rw-r--r-- 3.4 KB
micheline_syntax.v -rw-r--r-- 450 bytes
micheline_tokens.v -rw-r--r-- 2.0 KB
michelson2micheline.v -rw-r--r-- 9.5 KB
optimizer.v -rw-r--r-- 3.7 KB
parser_helpers.v -rw-r--r-- 1.7 KB
semantics.v -rw-r--r-- 78.0 KB
set.v -rw-r--r-- 15.1 KB
syntax.v -rw-r--r-- 38.7 KB
syntax_type.v -rw-r--r-- 2.1 KB
tez.v -rw-r--r-- 4.2 KB
typed_optimizer.v -rw-r--r-- 69.1 KB
typer.v -rw-r--r-- 37.2 KB
untyped_syntax.v -rw-r--r-- 3.9 KB
untyper.v -rw-r--r-- 49.1 KB
util.v -rw-r--r-- 9.8 KB

back to top