/doc - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/doc @ 5778dd5e

Name	Size	Revision	Age	Author	Comment
automata_spec.org	12 KB	fce0c270	over 5 years	Pierre-Loïc Garoche	automata_spec
lustre_spec.org	12 KB	a2d97a3e	almost 8 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...

#	Date	Author	Comment
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