/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 7cbb6d8a

Name	Size	Revision	Age	Author	Comment
Ada		7cbb6d8a	over 5 years	Guillaume DAVY	Ada: Add to the machine state all its subinstan...
C		d948c0bd	almost 6 years	Pierre-Loïc Garoche	math fun lib support in MPFR
EMF		ae7d913d	almost 6 years	Pierre-Loïc Garoche	Merlin files
Horn		ae7d913d	almost 6 years	Pierre-Loïc Garoche	Merlin files
Java		ae7d913d	almost 6 years	Pierre-Loïc Garoche	Merlin files
.merlin	3 Bytes	ae7d913d	almost 6 years	Pierre-Loïc Garoche	Merlin files
backends.ml	537 Bytes	43b5fabc	about 7 years	Pierre-Loïc Garoche	[EMF] Disable join of guards in EMF backend

#	Date	Author	Comment
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
b12a91e0	02/12/2019 03:22 PM	Guillaume DAVY	Ada: Move some functions from ada_backend_ads.ml to ada_backend_common.ml
81e2ad2f	02/12/2019 03:21 PM	Guillaume DAVY	Ada: Remove useless comment
bdc471f3	02/12/2019 02:57 PM	Guillaume DAVY	3 main modifications : - Create a new file : ada_backend_common.ml which contains all the function common to adb and ads. - Add comment to function - Generate the procedure prototype in the ads
48a6309c	02/12/2019 11:15 AM	Guillaume DAVY	Basic structure for Ada backend
f20d8ac7	02/11/2019 03:05 PM	Christophe Garion	Ada: skeletons for Ada compiler
d948c0bd	11/16/2018 04:18 AM	Pierre-Loïc Garoche	math fun lib support in MPFR

Also available in: Atom