~emersion/minic

3fec65293096d043ddfb93baa721f137020c9d61 — emersion 2 years ago 8217900 master
readme: add general project overview
1 files changed, 17 insertions(+), 1 deletions(-)

M README.md
M README.md => README.md +17 -1
@@ 1,1 1,17 @@
# inf564-minic
\ No newline at end of file
# inf564-minic

A small compiler for a subset of C, written in OCaml.

The compiler applies these passes to the input source code:
* Parsing (via Menhir)
* Typing
* RTL (Register Transfer Language)
* ERTL (Explicit Register Transfer Language)
* LTL (Location Transfer Language)
* Assembly

Register allocation is achieved with George coalescing.

## License

MIT