source: Deliverables/D2.2/8051-indexed-labels-branch/src/languages.mli

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @1433   9 years tranquil * added infrastructure to add same-language transformations along the …
(copy) @1291   9 years tranquil Started branch of untrusted compiler with indexed labels * added …
copied from Deliverables/D2.2/8051/src/languages.mli:
(edit) @818   10 years ayache 32 and 16 bits operations support in D2.2/8051
Note: See TracRevisionLog for help on using the revision log.