/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 1147e80a

Name	Size	Revision	Age	Author	Comment
Ada		c2db420f	almost 5 years	Pierre-Loïc Garoche	comment some code to avoid warning at compile time
C		1147e80a	almost 5 years	Pierre-Loïc Garoche	Array access: solved issues in C backend when b...
EMF		9b2c037f	almost 5 years	Pierre-Loïc Garoche	solved bug 91 on cavale: spurious commas in emf...
Horn		e8f55c25	almost 5 years	Pierre-Loïc Garoche	- tag_true and tag_false moved to lustre_types...
Java		ae7d913d	almost 6 years	Pierre-Loïc Garoche	Merlin files
VHDL		dea84f9e	over 6 years	Pierre-Loïc Garoche	Working example!
.merlin	3 Bytes	ae7d913d	almost 6 years	Pierre-Loïc Garoche	Merlin files
backends.ml	1.14 KB	ad4774b0	over 6 years	Pierre-Loïc Garoche	- Normalization parameters (alias and unfold_ar...

#	Date	Author	Comment
1147e80a	11/20/2019 08:57 PM	Pierre-Loïc Garoche	Array access: solved issues in C backend when basic operations in array access dimensions. Also better handling in EMF, ie further normalization through new equations
c2db420f	11/20/2019 05:09 PM	Pierre-Loïc Garoche	comment some code to avoid warning at compile time
9b2c037f	11/20/2019 04:42 PM	Pierre-Loïc Garoche	solved bug 91 on cavale: spurious commas in emf backend
490f1952	11/20/2019 04:38 PM	Pierre-Loïc Garoche	Merge branch 'unstable' into lustrec-seal
e8f55c25	11/15/2019 12:34 AM	Pierre-Loïc Garoche	- tag_true and tag_false moved to lustre_types - real constants are hidden in Real.ml{i} module
ab8388cf	11/06/2019 10:19 AM	Pierre-Loïc Garoche	[emf] added the names of the cocospec properties in the output json
51aef490	11/05/2019 12:11 AM	Pierre-Loïc Garoche	Better treatment of arrays in EMF backend. Be careful it may have changed the way enum types are declared
3b007718	07/18/2019 07:39 AM	Pierre-Loïc Garoche	EMF backend issue
05f85b44	04/29/2019 01:53 PM	Guillaume DAVY	Ada: Start cleaning Ada to prepare for why beckend
173a2a8f	04/19/2019 12:47 PM	Guillaume DAVY	Ada: Lot of specification is exported in Ada. We use ghost code to store all states, we generate the transition pridicate but also the invariant. But two problems, occured. The first one is a visibility problem for the record which is private but must be public for ghost variable which have to be public for specifaction. The second...

Also available in: Atom