Ignore:
Timestamp:
Aug 2, 2012, 3:18:11 PM (7 years ago)
Author:
tranquil
Message:

Big update!

  • merge of all _paolo variants
  • reorganised some depends (in particular, Register and thus back-end laguages no longer have fake ASM dependency)
  • split I8051.ma spawning new BackEndOps?.ma

compiler.ma broken at the moment, but not by these changes as far as I can tell

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Registers.ma

    r1129 r2286  
    22(* NB: this is essentially the same as Graphs! *)
    33
    4 include "ASM/BitVectorTrie.ma".
     4(*include "ASM/BitVectorTrie.ma".*)
    55include "common/Identifiers.ma".
    6 include "ASM/I8051.ma".
     6(*include "ASM/I8051.ma".*)
    77include "common/Order.ma".
    88
Note: See TracChangeset for help on using the changeset viewer.