/doc - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec / doc @ 08cbfc23

Name	Size	Revision	Age	Author	Comment
automata_spec.org	12 KB	fce0c270	over 4 years	Pierre-Loïc Garoche	automata_spec
integer_division.org	1.15 KB	58d610e1	almost 3 years	Xavier Thirioux	corrected the division conversion scheme
lustre_spec.org	12 KB	a2d97a3e	almost 7 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...

#	Date	Author	Comment
58d610e1	05/17/2018 05:04 PM	Xavier Thirioux	corrected the division conversion scheme
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

Also available in: Atom