/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 042dc586

Name	Revision	Age	Author	Comment
C	042dc586	over 7 years	Pierre-Loïc Garoche	Revert some ocaml code to ocaml 4.01 compatibility
Horn	042dc586	over 7 years	Pierre-Loïc Garoche	Revert some ocaml code to ocaml 4.01 compatibility
Java	a2d97a3e	about 10 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...

#	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)
d128bbd4	01/06/2017 08:04 PM	Teme Kahsai	fixed sfunction detetction
9f77bff7	01/06/2017 08:11 AM	Teme Kahsai	adding math.smt2
44ce4da8	01/04/2017 12:30 AM	Pierre-Loïc Garoche	Solved some issues with commited code (like it doesn't compile). The code was written by Teme's student and - did not rely on existing typing.ml function - used strange fprintf code Code was refactored but old stuff kept in comment just in case. Will have to be cleaned at some point.
e057dd08	12/30/2016 10:47 PM	Teme Kahsai	adjusting travis
7ad4ff7c	12/30/2016 09:29 PM	Teme Kahsai	Merge branch 'master' into master
1b57e111	12/30/2016 09:20 PM	Teme Kahsai	adding sfunction support

Also available in: Atom