[C--] Mlite C Compiler -- A C front-end generates C-- code

Hi folk,

Mlite C Compiler (mlitecc) is a C front-end implemented in Ocaml. It 
borrows the C Parser from George Necula's CIL and does its own C 
construct simplification. Unlike CIL, it uses a sequence of small step 
translations to simplify C construct. Each step of translation can emit 
C code. By compiling the emitted C code with reference compilers such as 
gcc,  we can verify whether a translation is correct or not. The mlitecc 
code is released with the same license term as Quick C--.

"mlitecc", like "gcc", is the command line executable that preprocesses 
C code, emits C-- code, and invokes qc-- to generate binary code. 

In order to build mlitecc,  you need to install all the dependent 
packages and Quick C--.   To make building mlitecc and Quick C-- 
easier,  I include all the immediate dependent packages (including Quick 
C--) in one tool package.

You can download them from the following links:

The mlitecc source code:  
http://www.ningwang.org/releases/mlitecc-0.1.tar.gz
The immediate dependent packages to build mlitecc and Quick C--: 
http://www.ningwang.org/releases/mlitecc-build-tools-0.1.tar.gz

The mlitecc source code and dependent packages have been tested on the 
Debian 4.0 Sever VMWare image that is available on 
http://linhost.info/vmware/

If you also use this VMWare image, you need to install the following 
packages first: gcc, make, and bzip2.


Best regards,
Ning







_______________________________________________
Cminusminus mailing list
[email protected]
https://lists.eecs.harvard.edu/mailman/listinfo/cminusminus