/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn @ 71999483

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	ae7d913d	almost 5 years	Pierre-Loïc Garoche	Merlin files
horn_backend.ml	4.27 KB	19a1e66b	almost 5 years	Pierre-Loïc Garoche	Added include directive that directly inject a ...
horn_backend_collecting_sem.ml	7.72 KB	e4edf171	over 5 years	Pierre-Loïc Garoche	Zustre backend
horn_backend_common.ml	5.36 KB	5778dd5e	over 5 years	Pierre-Loïc Garoche	Some progress on zustre2
horn_backend_printers.ml	26.5 KB	c35de73b	almost 5 years	Pierre-Loïc Garoche	Pretty serious update: - a bug in regressio nte...
horn_backend_traces.ml	8.51 KB	0d54d8a8	almost 5 years	Pierre-Loïc Garoche	Removed Contract contruct: imported node should...

#	Date	Author	Comment
19a1e66b	11/21/2018 05:58 AM	Pierre-Loïc Garoche	Added include directive that directly inject a lustre source file in the prog
59803095	11/16/2018 11:30 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into lustrec-seal
ae7d913d	11/16/2018 04:18 AM	Pierre-Loïc Garoche	Merlin files
c35de73b	11/15/2018 03:18 AM	Pierre-Loïc Garoche	Pretty serious update: - a bug in regressio ntest Simulink/integrator_ext_IC_matrix_test revealed the following (serious issue): when building the list of instruction (in the machine code) the access to variable were hardcoded to LocalVar or StateVAr depending whether the variables was part of the identified memories....
0d54d8a8	11/13/2018 02:01 AM	Pierre-Loïc Garoche	Removed Contract contruct: imported node should be enough. Solved some warning at compile time
99cb0623	10/19/2018 12:32 AM	Pierre-Loïc Garoche	Merge branch 'unstable' into lustrec-seal
83dc064f	07/13/2018 08:05 PM	Pierre-Loïc Garoche	Byte/String bug reappeared
f9d0c175	07/13/2018 07:52 PM	Pierre-Loïc Garoche	Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
2d2144c0	07/13/2018 05:18 PM	Pierre-Loïc Garoche	Solved bug#57: issues when indirect init of a pre in horn-traces
b0c381d0	07/12/2018 04:04 PM	Pierre-Loïc Garoche	Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal

Also available in: Atom