Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends/C @ 6fa45cb6

Name Size Revision Age Author Comment
c_backend.ml 4.92 KB dc893173 over 6 years Pierre-Loïc Garoche moving C files name declaration in backend. Pre...
c_backend_common.ml 23.7 KB f3d244c1 almost 7 years Xavier Thirioux ...
c_backend_header.ml 16.9 KB 04a63d25 almost 7 years Xavier Thirioux full merge of salsa/mpfr and master
c_backend_main.ml 8.17 KB 6fa45cb6 over 6 years Pierre-Loïc Garoche Changed the generated C file to produce input a...
c_backend_makefile.ml 3.41 KB 45f0f48d almost 7 years Xavier Thirioux ...
c_backend_spec.ml 8.19 KB 58a463e7 over 8 years Pierre-Loïc Garoche Added a construct for Dependencies (was a tuple...
c_backend_src.ml 31.4 KB 45f0f48d almost 7 years Xavier Thirioux ...

Latest revisions

# Date Author Comment
6fa45cb6 01/10/2017 01:35 PM Pierre-Loïc Garoche

Changed the generated C file to produce input and output csv files (named inXX and outXX)
dc893173 09/07/2016 05:38 PM Pierre-Loïc Garoche

moving C files name declaration in backend. Preparation for additional cmake target
f3d244c1 08/09/2016 10:01 PM Xavier Thirioux

...
45f0f48d 08/09/2016 09:31 PM Xavier Thirioux

...
04a63d25 08/06/2016 10:29 AM Xavier Thirioux

full merge of salsa/mpfr and master
d7b73fed 11/21/2015 10:14 PM Xavier Thirioux

bug correction in typing: tuple types were computed but not recorded

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@485 041b043f-8d7c-46b2-b46e-ef0dd855326e
55537f48 11/07/2015 11:48 PM Xavier Thirioux

bug corrected: in some cases, local const vars were assigned twice

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@483 041b043f-8d7c-46b2-b46e-ef0dd855326e
2d179f5b 11/07/2015 07:40 PM Xavier Thirioux

numerous bugs corrected:
- bug in expansion of array accesses with constant arrays
- bug in printing complex array indexes (not C compliant)
- bug wrt C99 typing policy for constant arrays
- bug in signaling wrong useless static input

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@482 041b043f-8d7c-46b2-b46e-ef0dd855326e
14c56a07 04/08/2015 11:01 PM Xavier Thirioux

some tiny mistakes corrected...

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@445 041b043f-8d7c-46b2-b46e-ef0dd855326e
ec433d69 04/08/2015 10:03 PM Xavier Thirioux

Major revision due to severe limitations and bugs of inlining capabilities:
- destination dir should now work properly
- lusic files now have a version number, to avoid nasty segfaults
when loading lusic files created by an older compiler version
- inlining should now work with generic nodes and generic array library...

View revisions

Also available in: Atom