Project

General

Profile

« Previous | Next » 

Revision c226a3ba

Added by LĂ©lio Brun over 2 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