/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 51ec4e8c

Name	Size	Revision	Age	Author	Comment
C		e4edf171	about 4 years	Pierre-Loïc Garoche	Zustre backend
EMF		2863281f	about 4 years	Pierre-Loïc Garoche	Further restructuring: - arrow.ml* to define ba...
Horn		5778dd5e	about 4 years	Pierre-Loïc Garoche	Some progress on zustre2
Java		a2d97a3e	almost 8 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
backends.ml	1.14 KB	ad4774b0	about 4 years	Pierre-Loïc Garoche	- Normalization parameters (alias and unfold_ar...

#	Date	Author	Comment
5778dd5e	04/06/2018 11:19 PM	Pierre-Loïc Garoche	Some progress on zustre2
e4edf171	04/03/2018 04:38 PM	Pierre-Loïc Garoche	Zustre backend
6eda0c25	03/30/2018 11:40 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into lustrec-seal
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
c1785a55	03/28/2018 10:35 AM	Pierre-Loïc Garoche	ongoing work on zustre backend
0bca9d53	03/15/2018 02:58 AM	Pierre-Loïc Garoche	Recursive resolution of dependencies
ad4774b0	03/15/2018 12:07 AM	Pierre-Loïc Garoche	- Normalization parameters (alias and unfold_array) are now provided as parameter - program type renamed as program_t - Initiating the lustrev tool with dependencies to z3 and seal.

Also available in: Atom