Documentation
- BCT The BCT is the byte-code translator that takes MSIL from a .NET compiler and produces a Boogie program. It is built on top of CCI. It is (woefully) incomplete, but under active development. Please get in touch if you would like to help with the effort!
Last edited Jul 28 2011 at 10:28 PM by rustanleino, version 4
|
|