/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 6a2c1a43

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		6a2c1a43	about 6 years	Arnaud Dieumegard	vhdl and mini-vhdl process printing
backends.ml	537 Bytes	43b5fabc	about 7 years	Pierre-Loïc Garoche	[EMF] Disable join of guards in EMF backend

#	Date	Author	Comment
6a2c1a43	08/27/2018 03:07 PM	Arnaud Dieumegard	vhdl and mini-vhdl process printing
b6ff3e98	08/27/2018 02:42 PM	Arnaud Dieumegard	Removed concurrent assignment statement from mini-vhdl grammar
b2ca2f67	08/27/2018 02:40 PM	Arnaud Dieumegard	Mini-vhdl pretty printing for sequential statements and processes
23b37f25	08/27/2018 02:39 PM	Arnaud Dieumegard	Concurrent signal assignment statement transformation to concurrent process statement
dcae4909	08/27/2018 02:38 PM	Arnaud Dieumegard	Clean ppx deriving comments
3831b5cc	08/24/2018 04:51 PM	Arnaud Dieumegard	Update of mini-vhdl pp
4aa05aca	08/24/2018 04:51 PM	Arnaud Dieumegard	Building explicit process from concurrent signl assignment
4a92cb37	08/24/2018 01:50 PM	Arnaud Dieumegard	Bug fix: resolve entity/arch reference from component instantiation declaration
1732ef44	07/31/2018 02:35 PM	Arnaud Dieumegard	Start of the Lustre generator
76f9de64	07/31/2018 11:05 AM	Arnaud Dieumegard	mutable object field storing architecture<->entities<->contexts relation, generation of MiniVHDL component instantiation

Also available in: Atom