Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends/C @ f3d244c1

Name Size Revision Age Author Comment
c_backend.ml 4.8 KB 04a63d25 about 8 years Xavier Thirioux full merge of salsa/mpfr and master
c_backend_common.ml 23.7 KB f3d244c1 about 8 years Xavier Thirioux ...
c_backend_header.ml 16.9 KB 04a63d25 about 8 years Xavier Thirioux full merge of salsa/mpfr and master
c_backend_main.ml 7.43 KB 04a63d25 about 8 years Xavier Thirioux full merge of salsa/mpfr and master
c_backend_makefile.ml 3.41 KB 45f0f48d about 8 years Xavier Thirioux ...
c_backend_spec.ml 8.19 KB 58a463e7 almost 10 years Pierre-Loïc Garoche Added a construct for Dependencies (was a tuple...
c_backend_src.ml 31.4 KB 45f0f48d about 8 years Xavier Thirioux ...

Latest revisions

# Date Author Comment
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...
0b352b14 04/04/2015 03:59 PM Xavier Thirioux

corrected various bugs in the compilation/installation Makefile.in.

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@435 041b043f-8d7c-46b2-b46e-ef0dd855326e
58a463e7 12/08/2014 09:09 PM Pierre-Loïc Garoche

Added a construct for Dependencies (was a tuple before) and a boolean attribute stateful

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@380 041b043f-8d7c-46b2-b46e-ef0dd855326e

View revisions

Also available in: Atom