/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn @ 83dc064f

Name	Size	Revision	Age	Author	Comment
horn_backend.ml	4.26 KB	83dc064f	over 6 years	Pierre-Loïc Garoche	Byte/String bug reappeared
horn_backend_collecting_sem.ml	7.66 KB	089f94be	over 6 years	Pierre-Loïc Garoche	MLI for normalization and machine_code. Structs...
horn_backend_common.ml	5.29 KB	2863281f	over 6 years	Pierre-Loïc Garoche	Further restructuring: - arrow.ml* to define ba...
horn_backend_printers.ml	26.5 KB	1d0fd52b	over 6 years	Xavier Thirioux	updated division for Horn clauses
horn_backend_traces.ml	8.46 KB	2d2144c0	over 6 years	Pierre-Loïc Garoche	Solved bug#57: issues when indirect init of a ...

#	Date	Author	Comment
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
bec3cf3d	05/31/2018 04:35 PM	Xavier Thirioux	strange bug (ill-typed source) wrt Bytes/String conversion
1d0fd52b	05/18/2018 12:28 AM	Xavier Thirioux	updated division for Horn clauses
fa91d4d0	05/17/2018 03:14 PM	Pierre-Loïc Garoche	Euclidean div/mod treatment in Horn backend
ea8f51ae	03/30/2018 11:23 PM	Pierre-Loïc Garoche	Basic library printers moved into backend specific printer files
2863281f	03/30/2018 11:14 PM	Pierre-Loïc Garoche	Further restructuring: - arrow.ml* to define basic builder for arrow (node, name, ...) - machine_code_common similar to corelang but for machine_code (printers, some builders, ...) - machine_code restricted to the translatation from normalized nodes to machines
089f94be	03/30/2018 10:43 PM	Pierre-Loïc Garoche	MLI for normalization and machine_code. Structs defining machines are now in machine_code_types
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

Also available in: Atom