/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_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...

#	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

CristalCaveGem » LustreC