/src/backends/C - Repository - LustreC

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_common.ml	24 KB	80f93e0a	over 5 years	Xavier Thirioux	added deallocation for dynamic memory allocatio...
c_backend_header.ml	17 KB	80f93e0a	over 5 years	Xavier Thirioux	added deallocation for dynamic memory allocatio...
c_backend_main.ml	8.17 KB	6fa45cb6	over 5 years	Pierre-Loïc Garoche	Changed the generated C file to produce input a...
c_backend_makefile.ml	3.41 KB	45f0f48d	almost 6 years	Xavier Thirioux	...
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...

#	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

CristalCaveGem » LustreC