Project

General

Profile

« Previous | Next » 

Revision 524060b3

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

Ongoin work on EMF backend. Commit to store a working version. More work to do on clocks and resets

View differences:

src/backends/backends.ml
4 4
let setup s =
5 5
  match s with
6 6
  | "emf" ->
7
     join_guards := false; (* guards should not be joined, in order to have only
7
     join_guards := true; (* guards should not be joined, in order to have only
8 8
			      if c then x = e1 else x = e2 to ease
9 9
			      reconstruction of flows. *)
10 10
    Options.optimization := 0; (* Optimization=0 prevents expression

Also available in: Unified diff