package lustre-v6

  1. Overview
  2. Docs
The Lustre V6 Verimag compiler

Install

Dune Dependency

www-verimag.imag.fr Edit opam file Versions (4)

Authors

  1. E
    Erwan Jahier and Pascal Raymond

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

lustre-v6.6.101.7.tgz
sha256=745e4099d842d0dfb9ba75bf15985e313c8bb0f76bd39f6f7c403995ec5109c2
md5=f75155f6f18b3b5ba9923bd447b35917

doc/index.html

lustre-v6

API

Library lustre-v6

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct