/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 445e80ae

Name	Revision	Age	Author	Comment
C	445e80ae	almost 9 years	Xavier Thirioux
Horn	53206908	almost 9 years	Xavier Thirioux	major branche merging salsa/mpfr with trunk
Java	b38ffff3	about 10 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...

#	Date	Author	Comment
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
4f4a77a4	04/08/2015 11:01 PM	Xavier Thirioux	some tiny mistakes corrected...
01d48bb0	04/08/2015 10:03 PM	Xavier Thirioux	Major revision due to severe limitations and bugs of inlining capabilities: - destination dir should now work properly - lusic files now have a version number, to avoid nasty segfaults when loading lusic files created by an older compiler version - inlining should now work with generic nodes and generic array library...

Also available in: Atom