Changeset 2731 for extracted/compiler.ml


Ignore:
Timestamp:
Feb 25, 2013, 10:17:34 PM (8 years ago)
Author:
sacerdot
Message:

Minimal set of axioms implemented to make the driver run.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/compiler.ml

    r2730 r2731  
    271271
    272272(** val compute_fixpoint : Fixpoints.fixpoint_computer **)
    273 let compute_fixpoint =
     273let compute_fixpoint _ =
    274274  failwith "AXIOM TO BE REALIZED"
    275275
    276276(** val colour_graph : Interference.coloured_graph_computer **)
    277 let colour_graph =
     277let colour_graph _ =
    278278  failwith "AXIOM TO BE REALIZED"
    279279
Note: See TracChangeset for help on using the changeset viewer.