Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / EMF / EMF_common.ml @ c82ea2ca

History | View | Annotate | Download (2.6 KB)

# Date Author Comment
c82ea2ca 07/11/2017 01:07 AM Pierre-Loïc Garoche

Enumerated datatypes as integer

2475c9e8 07/10/2017 11:43 PM Pierre-Loïc Garoche

Refactored EMF backend. Handle now the call to existing math and conv libraries