/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn @ ed736b69

Name	Size	Revision	Age	Author	Comment
horn_backend.ml	25 KB	ed736b69	over 8 years	Pierre-Loïc Garoche	Merge of last trunk commits Added fbyn(expr, n,...

#	Date	Author	Comment
ed736b69	06/05/2015 11:01 PM	Pierre-Loïc Garoche	Merge of last trunk commits Added fbyn(expr, n, init) to encode init -> pre (init -> pre (init -> ... pre expr)) with n occurences of init
9c4624e4	05/05/2015 01:17 AM	Teme Kahsai	do not use lusi for horn, and some logging for horn
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
96d33ff2	03/16/2015 08:31 PM	Teme Kahsai	sync horn backend
97d3f81a	03/16/2015 08:31 PM	Teme Kahsai	sync horn backend
24a55d0d	03/16/2015 08:30 PM	Teme Kahsai	fixing double printing of horn rules
62f65f02	03/16/2015 08:30 PM	Teme Kahsai	Fixed conflict with the svn trunk version

Also available in: Atom