Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / EMF @ 9b2c037f

Name Size Revision Age Author Comment
.merlin 3 Bytes ae7d913d over 1 year Pierre-Loïc Garoche Merlin files
EMF_backend.ml 19.6 KB 51aef490 9 months Pierre-Loïc Garoche Better treatment of arrays in EMF backend. Be c...
EMF_backend.ml~ 23 Bytes a6df3992 over 3 years Pierre-Loïc Garoche Working on EMF backend to express cocospec info...
EMF_common.ml 15.9 KB 9b2c037f 9 months Pierre-Loïc Garoche solved bug 91 on cavale: spurious commas in emf...
EMF_library_calls.ml 1.26 KB c35de73b over 1 year Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...

Latest revisions

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

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

a4c3d888 03/22/2019 02:05 AM Pierre-Loïc Garoche

rev machines in emf

1f868027 03/22/2019 01:02 AM Pierre-Loïc Garoche

JSON EMF

f5769e61 03/21/2019 07:55 PM Pierre-Loïc Garoche

Better JSON for EMF backend

42f91c0b 03/21/2019 05:19 PM Pierre-Loïc Garoche

Better EMF output, solved some invalid JSON produced

f4cba4b8 03/12/2019 11:23 AM Pierre-Loïc Garoche

Some progress on compiling cocospec contract.
Contract resolution still need to be done as well as dealing with the machine code level and so on.

View revisions

Also available in: Atom