Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends/C @ 4e809854

Name Size Revision Age Author Comment
c_backend.ml 4.82 KB 53206908 over 6 years Xavier Thirioux major branche merging salsa/mpfr with trunk
c_backend_common.ml 20.7 KB 5e7cecdd about 5 years Pierre-Loïc Garoche More informative error message in case of untyp...
c_backend_header.ml 16.2 KB 53206908 over 6 years Xavier Thirioux major branche merging salsa/mpfr with trunk
c_backend_main.ml 6.83 KB bdcbb2a1 over 6 years Pierre-Loïc Garoche Solved bug with C backend
c_backend_makefile.ml 3.4 KB 8eee42de over 6 years Pierre-Loïc Garoche Refined the dependencies in the generated makefile
c_backend_spec.ml 8.19 KB 830de634 over 7 years Pierre-Loïc Garoche Added a construct for Dependencies (was a tuple...
c_backend_src.ml 23.6 KB cf9cc6f9 over 6 years Pierre-Loïc Garoche Introduced the opposite of Reset call: NoReset....

Latest revisions

# Date Author Comment
5e7cecdd 04/25/2017 09:41 AM Pierre-Loïc Garoche

More informative error message in case of untyped value
f0bff3e5 01/08/2016 01:41 PM Pierre-Loïc Garoche

Merge branch 'salsa' into merge_salsa_horn_2
Postponed conflicts to be solved
Conflicts:
src/_tags
src/backends/Horn/horn_backend.ml
src/machine_code.ml
src/main_lustre_compiler.ml
src/myocamlbuild.ml.in
src/optimize_machine.ml
cf9cc6f9 01/07/2016 04:43 PM Pierre-Loïc Garoche

Introduced the opposite of Reset call: NoReset. This simplify the general compilation process and makes the code more symmetric, hence simpler and clearer code.
8eee42de 01/07/2016 04:41 PM Pierre-Loïc Garoche

Refined the dependencies in the generated makefile
bdcbb2a1 12/15/2015 05:40 PM Pierre-Loïc Garoche

Solved bug with C backend
84462531 12/15/2015 01:56 PM Pierre-Loïc Garoche

Added by default -O0
f6acf47b 11/26/2015 06:17 PM Pierre-Loïc Garoche

Plugin based framework
445e80ae 11/26/2015 05:30 PM Xavier Thirioux
53206908 11/26/2015 04:45 PM Xavier Thirioux

major branche merging salsa/mpfr with trunk
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

View revisions

Also available in: Atom