Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/compiler_common.mli
11 11
val update_vdecl_parents_prog: program_t -> unit
12 12

  
13 13
val expand_automata: program_t -> program_t
14

  
15
(* Process each node/imported node and introduce the associated contract node *)
16
val resolve_contracts: program_t -> program_t
17

  
18
val force_stateful_decls: program_t -> unit
19

  
20
val check_stateless_decls: program_t -> unit
21

  
22
val type_decls: Types.t Env.t -> program_t -> Types.t Env.t
23

  
24
val clock_decls: Clocks.t Env.t -> program_t -> Clocks.t Env.t
25

  
26
val create_dest_dir: unit -> unit

Also available in: Unified diff