Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
c_backend.ml 6.05 KB 2dd3d358 over 5 years Teme Kahsai making library statically link to horn backend
c_backend_cmake.ml 3.92 KB
c_backend_common.ml 24 KB 5e7cecdd about 5 years Pierre-Loïc Garoche More informative error message in case of untyp...
c_backend_header.ml 17 KB 80f93e0a over 5 years Xavier Thirioux added deallocation for dynamic memory allocatio...
c_backend_main.ml 8.12 KB 6fa45cb6 over 5 years Pierre-Loïc Garoche Changed the generated C file to produce input a...
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 58a463e7 over 7 years Pierre-Loïc Garoche Added a construct for Dependencies (was a tuple...
c_backend_src.ml 32.1 KB 80f93e0a over 5 years Xavier Thirioux added deallocation for dynamic memory allocatio...

Latest revisions

# Date Author Comment
85da3a4b 04/26/2017 11:23 PM Pierre-Loïc Garoche

Merge branch 'unstable' into merging_plugins
Non regression results were similar to master branch

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

More informative error message in case of untyped value

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

View revisions

Also available in: Atom