| Branch: | Tag: | Revision:

lustrec / doc @ 9b0432bc

# Date Author Comment
73ccaf2f 11/08/2018 03:29 PM Pierre-Loïc Garoche

Merge branch 'cocospec' of into cocospec

e82e03c6 09/14/2018 04:32 PM Christophe Garion

doc: add HTML grammar file

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


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: 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: 041b043f-8d7c-46b2-b46e-ef0dd855326e