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
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