Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / EMF @ 9f231bff

Name Size Revision Age Author Comment
EMF_backend.ml 13.7 KB 9f231bff over 3 years Pierre-Loïc Garoche [EMF] simplify branches with single case as reg...
EMF_backend.ml~ 23 Bytes a6df3992 almost 4 years Pierre-Loïc Garoche Working on EMF backend to express cocospec info...
EMF_common.ml 6.38 KB 785b64f9 over 3 years Pierre-Loïc Garoche [EMF] Protecting print of names to ensure a len...
EMF_library_calls.ml 1.24 KB 30f46c0c over 3 years Pierre-Loïc Garoche Renamed math lib into lustrec_math to avoid con...

Latest revisions

# Date Author Comment
9f231bff 07/18/2017 12:37 AM Pierre-Loïc Garoche

[EMF] simplify branches with single case as regular instructions

43b5fabc 07/18/2017 12:09 AM Pierre-Loïc Garoche

[EMF] Disable join of guards in EMF backend

fbad3c4b 07/14/2017 11:02 PM Pierre-Loïc Garoche

[EMF] protect machine names

69c8d06c 07/14/2017 10:51 PM Pierre-Loïc Garoche

[EMF] protect more field

785b64f9 07/14/2017 07:32 AM Pierre-Loïc Garoche

[EMF] Protecting print of names to ensure a length < 50. Remove the middle part of the string and inject a hash of it.

30f46c0c 07/14/2017 06:30 AM Pierre-Loïc Garoche

Renamed math lib into lustrec_math to avoid conflicting calls to <math.h>

ef8a361a 07/13/2017 01:00 AM Pierre-Loïc Garoche

Provides type compatible with Matlab types in EMF backend

01b501ca 07/12/2017 09:06 PM Pierre-Loïc Garoche

[EMF backend] Merging branches

1b721bfd 07/11/2017 08:09 AM Pierre-Loïc Garoche

bug fixed: Inputs for branches solved

2823bc51 07/11/2017 01:16 AM Pierre-Loïc Garoche

Proper integer index for enumerated branches

View revisions

Also available in: Atom