Changeset 2286 for src/common/Registers.ma

Timestamp:

Aug 2, 2012, 3:18:11 PM (9 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:

• src/common/Registers.ma (modified) (1 diff)

src/common/Registers.ma

@@ -2 +2 @@
 (* NB: this is essentially the same as Graphs! *)
 
-include "ASM/BitVectorTrie.ma".
+(*include "ASM/BitVectorTrie.ma".*)
 include "common/Identifiers.ma".
-include "ASM/I8051.ma".
+(*include "ASM/I8051.ma".*)
 include "common/Order.ma".