/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 185ddf4d

Name	Size	Revision	Age	Author	Comment
C		13aec2da	over 5 years	Pierre-Loïc Garoche	[main] enum typedef in C use the original lustr...
EMF		2196948d	almost 6 years	Pierre-Loïc Garoche	[EMF] Less verbose
Horn		185ddf4d	over 5 years	Pierre-Loïc Garoche	Type issue Bytes vs string
Java		a2d97a3e	about 9 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
backends.ml	537 Bytes	43b5fabc	about 6 years	Pierre-Loïc Garoche	[EMF] Disable join of guards in EMF backend

#	Date	Author	Comment
185ddf4d	01/30/2018 03:01 PM	Pierre-Loïc Garoche	Type issue Bytes vs string
13aec2da	01/18/2018 05:31 PM	Pierre-Loïc Garoche	[main] enum typedef in C use the original lustre filename as identifier. This commit cleans the filename to remove dots.
2196948d	12/12/2017 09:25 AM	Pierre-Loïc Garoche	[EMF] Less verbose
7c79dd93	11/14/2017 07:22 PM	Pierre-Loïc Garoche	[EMF] adding original name field in the JSON
7eafa0e1	11/10/2017 12:19 AM	Pierre-Loïc Garoche	[EMF] Added the reset signal (the every argument) as input to the JSON struct
c80e92d1	11/09/2017 10:58 PM	Pierre-Loïc Garoche	Solving a warning with ocaml 4.04 and uppercase_ascii. Provides backward compatibility for 4.02
953879f0	11/09/2017 10:45 PM	Pierre-Loïc Garoche	Issue with clocked expressions. Now handled throught a local branch, ie. a single action block in Simulink
6a078e8a	07/27/2017 10:46 PM	Pierre-Loïc Garoche	C backend: solved the issue of long name in generated binaries.
f76eae4f	07/27/2017 07:44 PM	Pierre-Loïc Garoche	first solution to address very large identifiers in node names, logs, and generated binaries
8f0e9f74	07/21/2017 08:48 PM	Pierre-Loïc Garoche	[EMF] improved feedback on reset calls

Also available in: Atom