TiniBCT is a MSIL translator to Boogie PL. It relies on a .NET analysis Framework to parse and analyze the MSIL.
For latest changes use the develop branch.
Master | Develop |
---|---|
TinyBCT -i [souclist of DLLs/EXEs to transalate]
The output is a bpl file containting the translation of all source files.
Additional options
The following steps are to build TinyBCT.exe only not the test unit suite. In order to do that, you may require to use a specific version of mono (check travis file for more details).
You must install:
In the repository folder, you must execute: