/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec / src / backends @ 3d04f75e

Name	Revision	Age	Author	Comment
C	4f4a77a4	about 6 years	Xavier Thirioux	some tiny mistakes corrected...
Horn	ad6b7375	almost 6 years	Teme Kahsai	small logging change
Java	b38ffff3	almost 7 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
Riny	3d04f75e	over 5 years	Pierre-Loïc Garoche	riny

#	Date	Author	Comment
3d04f75e	10/23/2015 05:35 PM	Pierre-Loïc Garoche	riny
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...
e9350b02	04/04/2015 03:59 PM	Xavier Thirioux	corrected various bugs in the compilation/installation Makefile.in.
933ee7a3	03/24/2015 09:54 PM	Teme Kahsai	synch with svn
eec8ce11	03/24/2015 09:54 PM	Teme Kahsai	fixing double printing of horn rules
9d01f989	03/17/2015 08:30 AM	Pierre-Loïc Garoche	Print the types
720f159a	03/16/2015 08:31 PM	Teme Kahsai	mapping horn values to lustre values in xml format

Also available in: Atom