/src/backends/C - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/C @ 042dc586

Name	Size	Revision	Age	Author	Comment
c_backend.ml	6.05 KB	2dd3d358	almost 7 years	Teme Kahsai	making library statically link to horn backend
c_backend_common.ml	23.7 KB	042dc586	over 6 years	Pierre-Loïc Garoche	Revert some ocaml code to ocaml 4.01 compatibility
c_backend_header.ml	16.9 KB	fc476249	almost 7 years	Teme Kahsai	adding -I options to lustrec
c_backend_main.ml	8.17 KB	6fa45cb6	over 6 years	Pierre-Loïc Garoche	Changed the generated C file to produce input a...
c_backend_makefile.ml	3.41 KB	45f0f48d	about 7 years	Xavier Thirioux	...
c_backend_spec.ml	8.19 KB	58a463e7	almost 9 years	Pierre-Loïc Garoche	Added a construct for Dependencies (was a tuple...
c_backend_src.ml	31.4 KB	45f0f48d	about 7 years	Xavier Thirioux	...

Latest revisions

#			Date	Author	Comment
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
f3d244c1			08/09/2016 10:01 PM	Xavier Thirioux	...

Also available in: Atom