Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / C @ 80f93e0a

Name Size Revision Age Author Comment
c_backend.ml 6.05 KB 2dd3d358 almost 3 years Teme Kahsai making library statically link to horn backend
c_backend_common.ml 24 KB 80f93e0a over 2 years Xavier Thirioux added deallocation for dynamic memory allocatio...
c_backend_header.ml 17 KB 80f93e0a over 2 years Xavier Thirioux added deallocation for dynamic memory allocatio...
c_backend_main.ml 8.17 KB 6fa45cb6 almost 3 years Pierre-Loïc Garoche Changed the generated C file to produce input a...
c_backend_makefile.ml 3.41 KB 45f0f48d over 3 years Xavier Thirioux ...
c_backend_spec.ml 8.19 KB 58a463e7 almost 5 years Pierre-Loïc Garoche Added a construct for Dependencies (was a tuple...
c_backend_src.ml 32.1 KB 80f93e0a over 2 years Xavier Thirioux added deallocation for dynamic memory allocatio...

Latest revisions

# Date Author Comment
80f93e0a 03/03/2017 05:12 PM Xavier Thirioux

added deallocation for dynamic memory allocation scheme

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

View revisions

Also available in: Atom