Orangepath/HPRLS Project: Hardware and Embedded Software Synthesis from Executable Specifications.
Compilation from .net CIL Bytecode

Kiwi: Logic Synthesis from .net CIL Bytecode

The HPR Orangepath tool can accept a variety of input formats, including CIL bytecode. This bytecode is generated by Microsoft .net tools the tools from the mono project.

Currently we are defining a compilation profile for C# called Kiwi.

Here are some simple demos from early runs of the kiwic compiler.

Although the above examples all use the C# front end and kiwi library, other users of the kiwic compiler have generated their .net code from C++ using gcc4cil. We are also testing with input from the F# dialect of ML.

31st October 2007.               UP.