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/models/model_medium.ml
3 3

  
4 4
let name = "medium"
5 5

  
6
let condition x = condition (Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true)))
6
let condition x = condition (Lustrec.Corelang.mkexpr Lustrec.Location.dummy_loc (LustreSpec.Expr_const (Lustrec.Corelang.const_of_bool true)))
7 7

  
8 8
let model : prog_t =
9 9
    let state_main = "main" in

Also available in: Unified diff