/src/backends/EMF - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/EMF @ efcc8d7f

Name	Size	Revision	Age	Author	Comment
EMF_backend.ml	19.5 KB	ca7e8027	over 2 years	Lélio Brun	fix almost all warnings
EMF_backend.ml~	23 Bytes	a6df3992	over 6 years	Pierre-Loïc Garoche	Working on EMF backend to express cocospec info...
EMF_common.ml	15.9 KB	ca7e8027	over 2 years	Lélio Brun	fix almost all warnings
EMF_library_calls.ml	1.26 KB	c35de73b	almost 5 years	Pierre-Loïc Garoche	Pretty serious update: - a bug in regressio nte...

#	Date	Author	Comment
ca7e8027	02/05/2021 02:36 PM	Lélio Brun	fix almost all warnings
719ae9fd	02/03/2021 02:47 PM	Lélio Brun	migration draft on dune
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

Also available in: Atom