Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / doc @ 8cc55e2c

Name Size Revision Age Author Comment
automata_spec.org 12 KB fce0c270 over 2 years Pierre-Loïc Garoche automata_spec
integer_division.org 1.32 KB 8cc55e2c over 1 year Xavier Thirioux corrected the division conversion scheme
lustre_spec.org 12 KB b38ffff3 about 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...

Latest revisions

# Date Author Comment
8cc55e2c 05/17/2018 04:59 PM Xavier Thirioux

corrected the division conversion scheme

a6e85cdc 05/17/2018 03:50 PM Pierre-Loïc Garoche

Integer div choices

fce0c270 01/10/2017 01:33 PM Pierre-Loïc Garoche

automata_spec

6eb92970 11/09/2016 07:11 AM Pierre-Loïc Garoche

explaining our automaton

a2d97a3e 07/09/2014 09:57 AM Pierre-Loïc Garoche

Updated the licence info and header for each file.
Moved backends in separate folders

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@313 041b043f-8d7c-46b2-b46e-ef0dd855326e

7bd3416a 10/22/2013 10:01 AM Pierre-Loïc Garoche

Lustre interfaces: lusi files are generated and used. Remaining work: create a good makefile and add the appropriate #include, fix issues with Arnaud's benchmarks (old syntax)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@120 041b043f-8d7c-46b2-b46e-ef0dd855326e

View revisions

Also available in: Atom