source: extracted/untrusted/build.mli @ 2740

Last change on this file since 2740 was 2740, checked in by sacerdot, 7 years ago

Graph colouring terminated up to Uses that will be implemented
in Matita.

File size: 411 bytes
1(* Pasted from Pottier's PP compiler *)
3(** This module builds an interference graph for an [ERTL] function.
4    This is done by running a liveness analysis and exploiting its
5    result. [build] returns both the result of the liveness analysis
6    and the interference graph. *)
8val build:
9 AST.ident List.list ->
10  Joint.joint_internal_function ->
11   Fixpoints.valuation ->
12    Untrusted_interference.graph
Note: See TracBrowser for help on using the repository browser.