From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 3 Mar 2010 10:25:25 +0000 Subject: Getting rid of CIL git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/api/type_Dataflow.ForwardsTransfer.html | 51 ------------------------- 1 file changed, 51 deletions(-) delete mode 100644 cil/doc/api/type_Dataflow.ForwardsTransfer.html (limited to 'cil/doc/api/type_Dataflow.ForwardsTransfer.html') diff --git a/cil/doc/api/type_Dataflow.ForwardsTransfer.html b/cil/doc/api/type_Dataflow.ForwardsTransfer.html deleted file mode 100644 index 1e4d48b7..00000000 --- a/cil/doc/api/type_Dataflow.ForwardsTransfer.html +++ /dev/null @@ -1,51 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Dataflow.ForwardsTransfer - - -sig
-  val name : string
-  val debug : bool Pervasives.ref
-  type t
-  val copy : Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
-  val stmtStartData : Dataflow.ForwardsTransfer.t Inthash.t
-  val pretty : unit -> Dataflow.ForwardsTransfer.t -> Pretty.doc
-  val computeFirstPredecessor :
-    Cil.stmt -> Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
-  val combinePredecessors :
-    Cil.stmt ->
-    old:Dataflow.ForwardsTransfer.t ->
-    Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t option
-  val doInstr :
-    Cil.instr ->
-    Dataflow.ForwardsTransfer.t ->
-    Dataflow.ForwardsTransfer.t Dataflow.action
-  val doStmt :
-    Cil.stmt ->
-    Dataflow.ForwardsTransfer.t ->
-    Dataflow.ForwardsTransfer.t Dataflow.stmtaction
-  val doGuard :
-    Cil.exp ->
-    Dataflow.ForwardsTransfer.t ->
-    Dataflow.ForwardsTransfer.t Dataflow.guardaction
-  val filterStmt : Cil.stmt -> bool
-end \ No newline at end of file -- cgit