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)
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna: Model Checking of Distributed Algorithms using Synchronous Programs
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing Synchronous Unison in Directed Networks
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit: Self-stabilizing Systems in Spite of High Dynamics
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: On Self-stabilizing Leader Election in Directed Networks
- Léo Gourdin: Lazy Code Transformations in a Formally Verified Compiler
- David Monniaux, Sylvain Boulmé: Chamois: agile development of CompCert extensions for optimization and security
- Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, Gabriel Radanne, Pascal Raymond: Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne: A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving

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

info visites 4214966

UGA

CNRS

INP Grenoble