README.md

Compiler of a subset of C

My solution to the compiler project at École normale supérieure (France) by Jean-Christophe Filliâtre. The subject is in file sujet-v1.pdf. See here for the course (in french).

To compile and run:

make
./mini-c test.c
gcc test.s -o test
./test

To test the compiler:

cd tests
./run -all ../mini-c