Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / C @ be206ad8

Name Size Revision Age Author Comment
c_backend.ml 7.18 KB d1b9423d about 3 years David Doose mauve generator: first shot
c_backend_common.ml 23.8 KB d1b9423d about 3 years David Doose mauve generator: first shot
c_backend_header.ml 17 KB 52c5ba00 about 3 years David Doose adding c++ backend
c_backend_main.ml 8.27 KB 52c5ba00 about 3 years David Doose adding c++ backend
c_backend_makefile.ml 3.41 KB 45f0f48d over 3 years Xavier Thirioux ...
c_backend_mauve.ml 7.58 KB be206ad8 about 3 years David Doose adding & in shell
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.5 KB 52c5ba00 about 3 years David Doose adding c++ backend

Latest revisions

# Date Author Comment
be206ad8 03/03/2017 03:32 PM David Doose

adding & in shell

08fd9ec8 03/03/2017 03:26 PM David Doose

mauve generator with annotations

d1b9423d 03/02/2017 06:12 PM David Doose

mauve generator: first shot

52c5ba00 03/01/2017 10:47 AM David Doose

adding c++ backend

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

View revisions

Also available in: Atom