Project

General

Profile

« Previous | Next » 

Revision c226a3ba

Added by Lélio Brun over 3 years ago

start generating ACSL spec

View differences:

src/lusic.ml
10 10 
(*                                                                  *)
11 11 
(********************************************************************)
12 12 

  		




  13
  
  
    
open Format 


  		




  14
  13
  
    
open Lustre_types


  		




  15
  14
  
    

  		




  16
  15
  
    
(********************************************************************************************)


  		












Also available in:  Unified diff