/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn @ 42f91c0b

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	ae7d913d	over 4 years	Pierre-Loïc Garoche	Merlin files
horn_backend.ml	4.27 KB	19a1e66b	over 4 years	Pierre-Loïc Garoche	Added include directive that directly inject a ...
horn_backend_collecting_sem.ml	7.72 KB	e4edf171	about 5 years	Pierre-Loïc Garoche	Zustre backend
horn_backend_common.ml	5.36 KB	5778dd5e	about 5 years	Pierre-Loïc Garoche	Some progress on zustre2
horn_backend_printers.ml	26.5 KB	42f91c0b	about 4 years	Pierre-Loïc Garoche	Better EMF output, solved some invalid JSON pro...
horn_backend_traces.ml	8.51 KB	0d54d8a8	over 4 years	Pierre-Loïc Garoche	Removed Contract contruct: imported node should...

#	Date	Author	Comment
42f91c0b	03/21/2019 05:19 PM	Pierre-Loïc Garoche	Better EMF output, solved some invalid JSON produced
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

Also available in: Atom