Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / C @ 042dc586

Name Size Revision Age Author Comment
c_backend.ml 6.05 KB 2dd3d358 over 3 years Teme Kahsai making library statically link to horn backend
c_backend_common.ml 23.7 KB 042dc586 over 3 years Pierre-Loïc Garoche Revert some ocaml code to ocaml 4.01 compatibility
c_backend_header.ml 16.9 KB fc476249 over 3 years Teme Kahsai adding -I options to lustrec
c_backend_main.ml 8.17 KB 6fa45cb6 over 3 years Pierre-Loïc Garoche Changed the generated C file to produce input a...
c_backend_makefile.ml 3.41 KB 45f0f48d almost 4 years Xavier Thirioux ...
c_backend_spec.ml 8.19 KB 58a463e7 over 5 years Pierre-Loïc Garoche Added a construct for Dependencies (was a tuple...
c_backend_src.ml 31.4 KB 45f0f48d almost 4 years Xavier Thirioux ...

Latest revisions

# Date Author Comment
042dc586 01/11/2017 10:02 AM Pierre-Loïc Garoche

Revert some ocaml code to ocaml 4.01 compatibility

dcafc99b 01/11/2017 12:28 AM Pierre-Loïc Garoche

Merge branch 'github_master' into integ_github_jan10
Intregrate all modifs by Teme et al

60f23302 01/10/2017 01:35 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

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)

2dd3d358 12/29/2016 07:18 AM Teme Kahsai

making library statically link to horn backend

fc476249 12/28/2016 01:00 AM Teme Kahsai

adding -I options to lustrec

3b2bd83d 12/08/2016 05:37 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

bb1b5e04 09/28/2016 10:16 AM Pierre-Loïc Garoche

Ongoing work on c backend for makefile. Does not compile yet

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

...

View revisions

Also available in: Atom