Project

General

Profile

Revision 8446bf03 src/causality.ml

View differences:

src/causality.ml
15 15
(** Simple modular syntactic causality analysis. Can reject correct
16 16
    programs, especially if the program is not flattened first. *)
17 17
open Utils
18
open LustreSpec
18
open Lustre_types
19 19
open Corelang
20 20
open Graph
21 21

  

Also available in: Unified diff