/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn @ 3c862628

Name	Size	Revision	Age	Author	Comment
horn_backend.ml	23.4 KB	3c862628	almost 10 years	Teme Kahsai	Fixed horn backend to make query for properties...

#			Date	Author	Comment
3c862628			03/03/2015 09:10 PM	Teme Kahsai	Fixed horn backend to make query for properties. More work needed for cex
b38ffff3			07/09/2014 09:57 AM	Pierre-Loïc Garoche	Updated the licence info and header for each file. Moved backends in separate folders

Also available in: Atom