Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 9 | logplain |
-rw-r--r-- | AAC.v | 37408 | logplain |
-rw-r--r-- | CHANGELOG | 1083 | logplain |
-rw-r--r-- | COPYING | 35147 | logplain |
-rw-r--r-- | COPYING.LESSER | 7637 | logplain |
-rw-r--r-- | Caveats.v | 11937 | logplain |
-rw-r--r-- | Instances.v | 11030 | logplain |
-rw-r--r-- | LICENSE | 651 | logplain |
-rw-r--r-- | Makefile | 707 | logplain |
-rw-r--r-- | README.txt | 2237 | logplain |
-rw-r--r-- | Tutorial.v | 12847 | logplain |
-rw-r--r-- | aac.mlpack | 65 | logplain |
-rw-r--r-- | coq.ml | 17834 | logplain |
-rw-r--r-- | coq.mli | 8319 | logplain |
-rw-r--r-- | evm_compute.ml | 7248 | logplain |
-rw-r--r-- | evm_compute.mli | 526 | logplain |
-rw-r--r-- | files.txt | 141 | logplain |
-rw-r--r-- | helper.ml | 1138 | logplain |
-rw-r--r-- | helper.mli | 1261 | logplain |
-rw-r--r-- | matcher.ml | 35842 | logplain |
-rw-r--r-- | matcher.mli | 7353 | logplain |
-rw-r--r-- | print.ml | 3612 | logplain |
-rw-r--r-- | print.mli | 1078 | logplain |
-rw-r--r-- | rewrite.ml4 | 18069 | logplain |
-rw-r--r-- | search_monad.ml | 2036 | logplain |
-rw-r--r-- | search_monad.mli | 1452 | logplain |
-rw-r--r-- | theory.ml | 34049 | logplain |
-rw-r--r-- | theory.mli | 7745 | logplain |