The Synchrone Reactive Toolbox

This Toolbox gathers currently maiontainde tool around Lustre and the synchronous approach, in particular the The Lustre V6 compler and the Lutin/Lurette testing tool. It is available on the Verimag website.


Yacc2latex generates human-readable EBNF grammars from yacc files. Output format is in Latex and fairly customizable. Distribution yacc2latex is available under LGLP licence (dowload here). Goal As a language designer, I often faced the problem of writing and maintaining a reference (readable) grammar of my language. This is particularly annoying since the reference grammar actually exists as a yacc (or ocamlyacc) file, so why not use a “compiler” that will derived automaticaly the reference grammar from the yacc file ?


Reglo compile regular expressions into logical circuits (in Lustre). User manual


BDDC is a basic logical calculator. User manual