File | Mode | Size |
---|---|---|
.gitignore | -rw-r--r-- | 85 bytes |
Formulas.v | -rw-r--r-- | 4.2 KB |
Makefile.local | -rw-r--r-- | 786 bytes |
README.txt | -rw-r--r-- | 7.1 KB |
configure | -rwxr-xr-x | 155 bytes |
michelson.ott | -rw-r--r-- | 42.1 KB |
michelson_aexp.v | -rw-r--r-- | 1.7 KB |
michelson_extract.v | -rw-r--r-- | 2.5 KB |
michelson_tests.v | -rw-r--r-- | 4.1 KB |