Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / EMF @ ef598ac3

Name Size Revision Age Author Comment
.merlin 3 Bytes ae7d913d almost 3 years Pierre-Loïc Garoche Merlin files
EMF_backend.ml 19.6 KB 51aef490 almost 2 years Pierre-Loïc Garoche Better treatment of arrays in EMF backend. Be c...
EMF_backend.ml~ 23 Bytes a6df3992 over 4 years Pierre-Loïc Garoche Working on EMF backend to express cocospec info...
EMF_common.ml 15.9 KB ef598ac3 10 months Pierre-Loïc Garoche moved from Num to Zarith. IMpacted main.ml ad u...
EMF_library_calls.ml 1.26 KB c35de73b almost 3 years Pierre-Loïc Garoche Pretty serious update: - a bug in regressio nte...

Latest revisions

# Date Author Comment
ef598ac3 11/17/2020 04:38 PM Pierre-Loïc Garoche

moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_cex and seal-extract

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

View revisions

Also available in: Atom