Changeset 2999 for driver/ASMPrinter.mli


Ignore:
Timestamp:
Mar 28, 2013, 12:47:55 PM (7 years ago)
Author:
sacerdot
Message:

code_memory added to labelled_object_code to avoid recomputing it every time.
This gives a major speed up in the semantics of the extracted code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/ASMPrinter.mli

    r2778 r2999  
    22(** This module provides a function to print [ASM] programs. *)
    33
    4 val print_program : Extracted.ASM.object_code -> string
     4val print_program : Extracted.ASM.labelled_object_code -> string
Note: See TracChangeset for help on using the changeset viewer.