| File | Mode | Size |
|---|---|---|
| extraction | ||
| of_ocaml | ||
| .gitignore | -rw-r--r-- | 47 bytes |
| Makefile.local | -rw-r--r-- | 1.4 KB |
| comparable.v | -rw-r--r-- | 14.1 KB |
| configure | -rwxr-xr-x | 1.3 KB |
| dummy_contract_context.v | -rw-r--r-- | 144 bytes |
| error.v | -rw-r--r-- | 8.2 KB |
| error_pp.v | -rw-r--r-- | 912 bytes |
| int64bv.v | -rw-r--r-- | 5.6 KB |
| location.v | -rw-r--r-- | 734 bytes |
| macros.v | -rw-r--r-- | 8.9 KB |
| main.v | -rw-r--r-- | 2.3 KB |
| map.v | -rw-r--r-- | 22.3 KB |
| micheline2michelson.v | -rw-r--r-- | 30.5 KB |
| micheline_lexer.v | -rw-r--r-- | 12.0 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.4 KB |
| semantics.v | -rw-r--r-- | 49.4 KB |
| set.v | -rw-r--r-- | 14.1 KB |
| syntax.v | -rw-r--r-- | 39.2 KB |
| syntax_type.v | -rw-r--r-- | 2.1 KB |
| tez.v | -rw-r--r-- | 3.5 KB |
| typed_optimizer.v | -rw-r--r-- | 53.9 KB |
| typer.v | -rw-r--r-- | 33.8 KB |
| untyped_syntax.v | -rw-r--r-- | 3.4 KB |
| untyper.v | -rw-r--r-- | 38.1 KB |
| util.v | -rw-r--r-- | 5.9 KB |
