Project

General

Profile

« Previous | Next » 

Revision 9c4cc944

Added by Corentin Lauverjat over 1 year ago

Transition to dune build system
Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md

View differences:

src/tools/stateflow/common/activeStates.ml
12 12

  
13 13
  let pp_set fmt rho =
14 14
    Format.fprintf fmt "@[<v 0>%a@ @]"
15
      (Utils.fprintf_list ~sep:"@ "
15
      (Lustrec.Utils.fprintf_list ~sep:"@ "
16 16
	 (fun fmt p -> Format.fprintf fmt "%a" pp_path p))
17 17
      (elements rho)
18 18
end
......
36 36

  
37 37
  let pp_env fmt rho =
38 38
    Format.fprintf fmt "@[<v 0>%a@ @]"
39
      (Utils.fprintf_list ~sep:"@ "
39
      (Lustrec.Utils.fprintf_list ~sep:"@ "
40 40
	 (fun fmt (p,b) -> Format.fprintf fmt "%a -> %b" pp_path p b))
41 41
      (bindings rho)
42 42
end

Also available in: Unified diff