Home > Verimag > Tools

Lustre V6

Software distribution and licensing: Open-source distribution
Software maturity: Well-tested software, good documentation
Software Maintenance and Evolution: Active maintenance, plans for future evolution

Lustre V6 is the last version of the academic Lustre compiler, featuring an ada-like package mechanism, structured data-types (enums, structures), array iterators, and static recursion.

The gitlab project hosting the lustre v6 sources is accessible from: https://gricad-gitlab.univ-grenoble...

Documents

The Lustre V4 toolbox (luciole, lesar, ecexe)

The Lustre V6 toolbox (lus2lic, lurette, rdbg)

The Lustre V6 reference manual

The Lustre V6 grammar rules

New publications

Some Recent Publications (Ressources Partagées)
- David Monniaux, Sylvain Boulmé: Chamois: agile development of CompCert extensions for optimization and security
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: On Self-stabilizing Leader Election in Directed Networks
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna: Model Checking of Distributed Algorithms using Synchronous Programs
- Léo Gourdin: Lazy Code Transformations in a Formally Verified Compiler
- Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard: Formally Verifying Optimizations with Block Simulations
- Erwan Jahier, Karine Altisen, Stéphane Devismes: Exploring Worst Cases of Self-stabilizing Algorithms using Simulations
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit: Self-stabilizing Systems in Spite of High Dynamics
- Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, Gabriel Radanne, Pascal Raymond: Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4144519

UGA

CNRS

INP Grenoble