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
- -b [list bpl files]: include this files to the output blp
- -l true: add line numbers
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:
- https://www.mono-project.com/download/stable/
- https://dotnet.microsoft.com/download/linux-package-manager/ubuntu18-04/sdk-current
- sudo apt-get install nuget
In the repository folder, you must execute:
- git checkout develop
- git submodule update --init --recursive
- nuget restore
- msbuild TinyBCT/TinyBCT.csproj