README.txt · 9e224dbfbc580103252b1672f8c2a4882e7c6fc7 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

10 years ago

nonreg tests: performs the test on carlit (/2 speed up...) · b1f6ed64

Erwan Jahier authored 10 years ago

I've just switched to ocaml 4.02, and it works only on carlit because
of GLIC 2.14 is not installed on other machine.

also, add some missing files.

b1f6ed64

nonreg tests: performs the test on carlit (/2 speed up...)

Erwan Jahier authored 10 years ago

I've just switched to ocaml 4.02, and it works only on carlit because
of GLIC 2.14 is not installed on other machine.

also, add some missing files.

README.txt 326 B

(* OASIS_START *)
(* DO NOT EDIT (digest: ad5c8edb7bf1ce8552ea81a7377dd519) *)
This is the README file for the lus2lic distribution.

The Lustre V6 Verimag compiler and interpreter

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

Home page: http://www-verimag.imag.fr/lustre-v6.html

(* OASIS_STOP *)