/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 3340aff0

Name	Size	Revision	Age	Author	Comment
C		1d0fd52b	over 6 years	Xavier Thirioux	updated division for Horn clauses
EMF		2863281f	over 6 years	Pierre-Loïc Garoche	Further restructuring: - arrow.ml* to define ba...
Horn		1d0fd52b	over 6 years	Xavier Thirioux	updated division for Horn clauses
Java		a2d97a3e	over 10 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
VHDL		3340aff0	over 6 years	Arnaud Dieumegard	Some code comments
backends.ml	537 Bytes	43b5fabc	over 7 years	Pierre-Loïc Garoche	[EMF] Disable join of guards in EMF backend

#	Date	Author	Comment
3340aff0	07/30/2018 04:05 PM	Arnaud Dieumegard	Some code comments
5bbf7413	07/30/2018 03:59 PM	Arnaud Dieumegard	definition of the mini-vhdl types + pp + transformation from vhdl structure
58f8ddf5	07/27/2018 04:23 PM	Arnaud Dieumegard	Split PP and Yojson in separate ml for vhdl ast
b0c77300	07/26/2018 06:05 PM	Arnaud Dieumegard	PP update: component instantiation type, archi format, port & generic decl in components, signal conditions, return statements expression
1f593d5d	07/26/2018 03:12 PM	Arnaud Dieumegard	Printer corrections: signal_condition, conditional_signal, elsif, when conditions, F***ing non-brekaing characters
fc44085e	07/25/2018 04:08 PM	Arnaud Dieumegard	PP for procedure call
7f5d0cde	07/25/2018 04:01 PM	Arnaud Dieumegard	Qualified expressions, default values for expressions, pp for association_elements
a3f47fb5	07/25/2018 02:26 PM	Arnaud Dieumegard	Unbounded array definition printing
d4c98bae	07/25/2018 11:42 AM	Arnaud Dieumegard	Use clauses in package definition
d3a35600	07/25/2018 11:29 AM	Arnaud Dieumegard	Conditional signals selection, waveform with delay

Also available in: Atom