Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • multi-task
  • lustre-mt_omp
  • add-multi-generation
  • pascal01
  • take-reset-pragma-into-account
  • 6-can-not-iterate-over-the-plus-node-as-long-as-it-is-named-plus
  • tmp
  • previously_on_no_branch
  • new_branch_name
  • u0
  • solve_ident
  • v6.111.3
  • v6.111.2
  • v6.111.1
  • v6.111.0
  • v6.110.3
  • v6.110.2
  • v6.110.1
  • v6.110.0
  • v6.109.1
  • v6.109.0
  • v6.108.0
  • v6.107.4
  • v6.107.3
  • v6.107.2
  • v6.107.1
  • v6.107.0
  • v6.106.1
  • v6.106.0
  • v6.105.1
  • v6.105.0
32 results
Blame Permalink
README.md 638 B

(* OASIS_START ) ( DO NOT EDIT (digest: 7018be8ddc148ce8fff24df3fef8d341) *)

lustre-v6 - The Lustre V6 Verimag compiler

This package contains: (1) lus2lic: the (current) name of the compiler (and interpreter via -exec). (2) the lustre-v6 ocaml lib: allows to call the Lustre v6 interpreter ocaml

See the file INSTALL.txt for building and installation instructions.

Home page

Copyright and license

lustre-v6 is distributed under the terms of the Proprietary license, all rights reserved.

(* OASIS_STOP *)