Changeset 573


Ignore:
Timestamp:
Feb 18, 2011, 1:30:39 PM (6 years ago)
Author:
ricciott
Message:

Added round-trip tests.

Location:
Deliverables/D4.1
Files:
1 added
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ASMInterpret.mli

    r455 r573  
    108108  (*ASM.instruction list * symbol_table *) labelled_memory
    109109
     110val assembly1 : [< ASM.instruction] -> BitVectors.byte list
     111
    110112(*
    111113val link:
  • Deliverables/D4.1/Makefile

    r426 r573  
    11all:
    2         ocamlbuild -cflags "-w Ae" Test.native ToMatita.native
     2        ocamlbuild -cflags "-w Ae" Test.native Test2.native ToMatita.native
    33
    44.PHONY: all
Note: See TracChangeset for help on using the changeset viewer.