Accueil > Verimag > Outils

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

Nouvelles publications

Quelques Publications Récentes (Ressources Partagées)
- Erwan Jahier, Karine Altisen, Stéphane Devismes: Exploring Worst Cases of Self-stabilizing Algorithms using Simulations
- Léo Gourdin: Lazy Code Transformations in a Formally Verified Compiler
- Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, Gabriel Radanne, Pascal Raymond: Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory
- 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: Self-stabilizing synchronous unison in directed networks
- David Monniaux, Sylvain Boulmé: Chamois: agile development of CompCert extensions for optimization and security
- 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
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Complexité certifiée d'algorithmes autostabilisants en rondes

Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4144882

UGA

CNRS

INP Grenoble