/src/backends/Horn/horn_backend_traces.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn/horn_backend_traces.ml @ 8446bf03

#	Date	Author	Comment
8446bf03	03/30/2018 05:54 PM	Pierre-Loïc Garoche	- Makefile: solved dependency problem when compiling include lusi - Renamed type declarations as lustre_types and machine_code_types
397d5ae3	06/27/2017 06:36 PM	Pierre-Loïc Garoche	Copied Printers.pp_expr functions to Horn backend to escape < and > in XML traces output
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)
dcafc99b	01/11/2017 12:28 AM	Pierre-Loïc Garoche	Merge branch 'github_master' into integ_github_jan10 Intregrate all modifs by Teme et al
9f77bff7	01/06/2017 08:11 AM	Teme Kahsai	adding math.smt2
85a6f473	09/30/2016 06:41 PM	Teme Kahsai	adding onera automata version
fea041c5	08/09/2016 09:25 PM	Xavier Thirioux	new branch for merging mpfr and horn