├── LICENSE ├── Makefile ├── big.ml ├── compile.sh ├── evm.v ├── extract.v ├── main.ml └── readme.md /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pirapira/dry-analyzer/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pirapira/dry-analyzer/HEAD/Makefile -------------------------------------------------------------------------------- /big.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pirapira/dry-analyzer/HEAD/big.ml -------------------------------------------------------------------------------- /compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pirapira/dry-analyzer/HEAD/compile.sh -------------------------------------------------------------------------------- /evm.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pirapira/dry-analyzer/HEAD/evm.v -------------------------------------------------------------------------------- /extract.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pirapira/dry-analyzer/HEAD/extract.v -------------------------------------------------------------------------------- /main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pirapira/dry-analyzer/HEAD/main.ml -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pirapira/dry-analyzer/HEAD/readme.md --------------------------------------------------------------------------------