| 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-- | 15.8 KB |
| configure | -rwxr-xr-x | 1.3 KB |
| entrypoints.v | -rw-r--r-- | 3.9 KB |
| error.v | -rw-r--r-- | 10.6 KB |
| error_pp.v | -rw-r--r-- | 912 bytes |
| location.v | -rw-r--r-- | 734 bytes |
| macros.v | -rw-r--r-- | 9.1 KB |
| main.v | -rw-r--r-- | 2.7 KB |
| map.v | -rw-r--r-- | 39.0 KB |
| micheline2michelson.v | -rw-r--r-- | 31.0 KB |
| micheline_lexer.v | -rw-r--r-- | 11.5 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.7 KB |
| optimizer.v | -rw-r--r-- | 3.7 KB |
| semantics.v | -rw-r--r-- | 84.9 KB |
| set.v | -rw-r--r-- | 15.1 KB |
| syntax.v | -rw-r--r-- | 37.8 KB |
| syntax_type.v | -rw-r--r-- | 3.4 KB |
| tez.v | -rw-r--r-- | 3.3 KB |
| typed_optimizer.v | -rw-r--r-- | 69.1 KB |
| typer.v | -rw-r--r-- | 38.2 KB |
| untyped_syntax.v | -rw-r--r-- | 3.9 KB |
| untyper.v | -rw-r--r-- | 48.2 KB |
| util.v | -rw-r--r-- | 9.8 KB |
