/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec / src / backends @ 84462531

Name	Revision	Age	Author	Comment
C	84462531	almost 5 years	Pierre-Loïc Garoche	Added by default -O0
Horn	53206908	almost 5 years	Xavier Thirioux	major branche merging salsa/mpfr with trunk
Java	b38ffff3	about 6 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...

#	Date	Author	Comment
84462531	12/15/2015 01:56 PM	Pierre-Loïc Garoche	Added by default -O0
f6acf47b	11/26/2015 06:17 PM	Pierre-Loïc Garoche	Plugin based framework
445e80ae	11/26/2015 05:30 PM	Xavier Thirioux
53206908	11/26/2015 04:45 PM	Xavier Thirioux	major branche merging salsa/mpfr with trunk
89137ae1	11/21/2015 10:14 PM	Xavier Thirioux	bug correction in typing: tuple types were computed but not recorded
da07e470	11/07/2015 11:48 PM	Xavier Thirioux	bug corrected: in some cases, local const vars were assigned twice
79614a15	11/07/2015 07:40 PM	Xavier Thirioux	numerous bugs corrected: - bug in expansion of array accesses with constant arrays - bug in printing complex array indexes (not C compliant) - bug wrt C99 typing policy for constant arrays - bug in signaling wrong useless static input
6c4902ae	11/06/2015 06:09 PM	Teme Kahsai	fixed a printing bug in horn backend
ad6b7375	05/05/2015 07:30 PM	Teme Kahsai	small logging change
9c4624e4	05/05/2015 01:17 AM	Teme Kahsai	do not use lusi for horn, and some logging for horn

Also available in: Atom