Project

General

Profile

« Previous | Next » 

Revision 13507742

Added by Pierre-Loïc Garoche about 6 years ago

Refactored some code: optimization of machine

View differences:

src/corelang.ml
1065 1065 
let copy_prog top_list =
1066 1066 
  List.map copy_top top_list
1067 1067 

  		




  1068
  
  
    
let functional_backend () = 


  		




  1069
  
  
    
  match !Options.output with


  		




  1070
  
  
    
  | "horn" | "lustre" | "acsl" -> true


  		




  1071
  
  
    
  | _ -> false


  		




  1072
  
  
    

  		




  1073
  1068
  
    
(* Local Variables: *)


  		




  1074
  1069
  
    
(* compile-command:"make -C .." *)


  		




  1075
  1070
  
    
(* End: *)


  		












Also available in:  Unified diff