Project

General

Profile

« Previous | Next » 

Revision c1adf235

Added by Pierre-Loïc Garoche over 7 years ago

Restructured the main: call to optimization, scheduling performed out of machine_code, etc
Merge Xavier last commits
Unfinished lustre backend

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/simplifier@271 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/corelang.mli
235 235
val pp_prog_clock : Format.formatter -> program -> unit
236 236

  
237 237
val get_nodes : program -> node_desc list
238
val get_consts : program -> const_desc list
239
val prog_unfold_consts: program -> program
238
 val get_consts : program -> const_desc list 
239
(* val prog_unfold_consts: program -> program *)
240

  
240 241
val expr_replace_var: (ident -> ident) -> expr -> expr
241 242
val eq_replace_rhs_var: (ident -> bool) -> (ident -> ident) -> eq -> eq
242 243

  

Also available in: Unified diff