GitHub - matt-j-griffin/bil: A formal specification for BIL

Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
Makefile		Makefile
bil.ott		bil.ott
bil.tex		bil.tex

About

A formal specification for BIL

github.com/BinaryAnalysisPlatform/bap

Report repository

Releases

Packages

No packages published

Languages

TeX 96.7%
Makefile 3.3%