/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 768f60f0

Name	Size	Revision	Age	Author	Comment
Ada		768f60f0	over 4 years	Christophe Garion	Ada: first pretty printing functions for adb
C		d948c0bd	over 4 years	Pierre-Loïc Garoche	math fun lib support in MPFR
EMF		ae7d913d	over 4 years	Pierre-Loïc Garoche	Merlin files
Horn		ae7d913d	over 4 years	Pierre-Loïc Garoche	Merlin files
Java		ae7d913d	over 4 years	Pierre-Loïc Garoche	Merlin files
.merlin	3 Bytes	ae7d913d	over 4 years	Pierre-Loïc Garoche	Merlin files
backends.ml	537 Bytes	43b5fabc	almost 6 years	Pierre-Loïc Garoche	[EMF] Disable join of guards in EMF backend

#	Date	Author	Comment
768f60f0	02/14/2019 05:11 PM	Christophe Garion	Ada: first pretty printing functions for adb
69cd79c6	02/14/2019 05:02 PM	Guillaume DAVY	Ada: Temporary change
4ba20be4	02/14/2019 02:47 PM	Guillaume DAVY	Ada: Add local variable declaration for step
2ddbde7d	02/14/2019 02:42 PM	Guillaume DAVY	Ada: Last correction was incorrect
e6705d79	02/14/2019 02:38 PM	Guillaume DAVY	Ada: Correct a bad copy-paste
fd834769	02/14/2019 02:35 PM	Guillaume DAVY	Ada: Add the generation of the wrapper file : the main ada file and the project. It is called only if the main node option is given to lustrec. This feature implied some refactoring. Also added some OCaml Doc to undocummented functions.
7cbb6d8a	02/13/2019 07:38 PM	Guillaume DAVY	Ada: Add to the machine state all its subinstance states. Improve also identifier cleaning
c419ca44	02/13/2019 02:47 PM	Guillaume DAVY	Ada: Changed type name for states and normalized variable name to match ada requirements.
3d85297f	02/12/2019 08:00 PM	Guillaume DAVY	Ada: Add prototype of the four procedure in the adb generation
c06b3b47	02/12/2019 06:46 PM	Guillaume DAVY	Ada: Add the state variable in the ads, type definition and as parameter of all procedure

Also available in: Atom