Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ 3d85297f

Name Size Revision Age Author Comment
  Ada 3d85297f about 2 years Guillaume DAVY Ada: Add prototype of the four procedure in the...
  C d948c0bd over 2 years Pierre-Loïc Garoche math fun lib support in MPFR
  EMF ae7d913d over 2 years Pierre-Loïc Garoche Merlin files
  Horn ae7d913d over 2 years Pierre-Loïc Garoche Merlin files
  Java ae7d913d over 2 years Pierre-Loïc Garoche Merlin files
.merlin 3 Bytes ae7d913d over 2 years Pierre-Loïc Garoche Merlin files
backends.ml 537 Bytes 43b5fabc almost 4 years Pierre-Loïc Garoche [EMF] Disable join of guards in EMF backend

Latest revisions

# Date Author Comment
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

ae7d913d 11/16/2018 04:18 AM Pierre-Loïc Garoche

Merlin files

45d53dc3 11/16/2018 02:46 AM Pierre-Loïc Garoche

EMF export of local type definition (for simple types)

View revisions

Also available in: Atom