| Branch: | Tag: | Revision:

lustrec / doc @ 8cc55e2c

# 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


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