Project

General

Profile

Revision 2fb97ad4

View differences:

TODO.org
1 1
* TODO refactoring + doc
2
- separate lustre types from machine types in different files
3
- split basic libs into backend specific files
4
- define mli for core steps: normalization and machine code
2
- DONE separate lustre types from machine types in different files
3
- DONE split basic libs into backend specific files
4
- DONE define mli for core steps: normalization and machine code
5 5
- define mli for lustre_type and machine_type (Garion)
6 6

  
7 7
* TODO
src/machine_code.mli
1
val translate_prog: Lustre_types.program -> Scheduling.schedule_report Utils.IMap.t  -> Machine_code_types.machine_t list
1
val translate_prog: Lustre_types.program_t -> Scheduling.schedule_report Utils.IMap.t  -> Machine_code_types.machine_t list
src/main_lustre_verifier.ml
14 14
open Compiler_common
15 15

  
16 16
open Utils
17
open LustreSpec
17
open Lustre_types
18 18
 
19 19

  
20 20
let usage = "Usage: lustrev [options] \x1b[4msource file\x1b[0m"
......
74 74
  in
75 75

  
76 76
  Log.report ~level:1 (fun fmt -> fprintf fmt "@]@ ");
77
  Log.report ~level:3 (fun fmt -> fprintf fmt ".. Generated machines:@ %a@ "Machine_code.pp_machines machine_code);
77
  Log.report ~level:3 (fun fmt -> fprintf fmt ".. Generated machines:@ %a@ "Machine_code_common.pp_machines machine_code);
78 78

  
79 79
  if Scopes.Plugin.show_scopes () then
80 80
    begin
src/normalization.mli
1
type param_t =
2
  {
3
    unfold_arrow_active: bool;
4
    force_alias_ite: bool;
5
    force_alias_internal_fun: bool;
6
  }
7

  
8

  
1 9
val mk_expr_alias_opt: bool -> Lustre_types.node_desc -> (Lustre_types.eq list * Lustre_types.var_decl list)-> Lustre_types.expr -> (Lustre_types.eq list * Lustre_types.var_decl list) * Lustre_types.expr
2
val normalize_prog: ?backend:string -> Lustre_types.program -> Lustre_types.program
10
val normalize_prog: param_t -> Lustre_types.program_t -> Lustre_types.program_t
src/verifierType.ml
5 5
  val is_active: unit -> bool
6 6
  val options: (string * Arg.spec * string) list
7 7
  val get_normalization_params: unit -> Normalization.param_t
8
  val run: string -> LustreSpec.program_t -> Machine_code.machine_t list -> unit 
8
  val run: string -> Lustre_types.program_t -> Machine_code_types.machine_t list -> unit 
9 9
end
10 10

  
11 11
module Default =
src/verifiers.ml
1
open LustreSpec
1
open Lustre_types
2 2

  
3 3
open VerifierList
4 4

  

Also available in: Unified diff