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 6 years Pierre-Loïc Garoche [EMF] simplify branches with single case as reg...
EMF_backend.ml~ 23 Bytes a6df3992 almost 7 years Pierre-Loïc Garoche Working on EMF backend to express cocospec info...
EMF_common.ml 6.38 KB 785b64f9 over 6 years Pierre-Loïc Garoche [EMF] Protecting print of names to ensure a len...
EMF_library_calls.ml 1.24 KB 30f46c0c over 6 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