https://github.com/CornellBlockchain/bamboo
Tip revision: 32cf527d9a54d611b3661282d71806e1a1866df5 authored by Yoichi Hirai on 13 October 2017, 19:28:11 UTC
Call it menhirLib
Call it menhirLib
Tip revision: 32cf527
File | Mode | Size |
---|---|---|
doc | ||
opam | ||
sketch | ||
src | ||
.gitignore | -rw-r--r-- | 40 bytes |
.travis.yml | -rw-r--r-- | 2.0 KB |
LICENSE | -rw-r--r-- | 11.1 KB |
Makefile | -rw-r--r-- | 466 bytes |
README.md | -rw-r--r-- | 2.4 KB |
ReleaseNotes.txt | -rw-r--r-- | 193 bytes |
_oasis | -rw-r--r-- | 1.6 KB |
_tags | -rw-r--r-- | 2.2 KB |
myocamlbuild.ml | -rw-r--r-- | 23.8 KB |
setup.ml | -rw-r--r-- | 217.9 KB |