/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn @ 2fdbc781

Name	Size	Revision	Age	Author	Comment
horn_backend.ml	3.98 KB	bde99c3f	about 8 years	Xavier Thirioux	This is the first merge that does compile. Not ...
horn_backend_collecting_sem.ml	6.93 KB	d2d9d4cb	about 8 years	Pierre-Loïc Garoche	Missing files
horn_backend_common.ml	4.78 KB	d7e04983	over 8 years	Pierre-Loïc Garoche	[Horn] Updated traceability of Horn backend to ...
horn_backend_printers.ml	21.1 KB	2fdbc781	about 8 years	Pierre-Loïc Garoche	Cleaning output: - no more classic display for ...
horn_backend_traces.ml	6.62 KB	92ff8f1b	about 8 years	Teme Kahsai	fix tracebility

#	Date	Author	Comment
2fdbc781	04/27/2017 10:42 PM	Pierre-Loïc Garoche	Cleaning output: - no more classic display for ocamlc - compilation warnings removed
09121c1a	04/27/2017 12:19 AM	Pierre-Loïc Garoche	Merge branch 'testgen' into merging_unstable_testgen
d2d9d4cb	04/26/2017 11:25 PM	Pierre-Loïc Garoche	Missing files
85da3a4b	04/26/2017 11:23 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into merging_plugins Non regression results were similar to master branch
a97d3e02	04/25/2017 10:57 PM	Pierre-Loïc Garoche	Printing reals in Horn backend
4e809854	04/25/2017 09:41 AM	Pierre-Loïc Garoche	Cosmetic changes
bde99c3f	04/06/2017 04:27 PM	Xavier Thirioux	This is the first merge that does compile. Not tested yet.
92ff8f1b	02/01/2017 12:21 AM	Teme Kahsai	fix tracebility
d7e04983	01/13/2017 01:17 PM	Pierre-Loïc Garoche	[Horn] Updated traceability of Horn backend to deal with fby (arrow machines)
042dc586	01/11/2017 10:02 AM	Pierre-Loïc Garoche	Revert some ocaml code to ocaml 4.01 compatibility

Also available in: Atom