/src/backends/EMF - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec / src / backends / EMF @ 333f42fd

Name	Size	Revision	Age	Author	Comment
EMF_backend.ml	13.8 KB	def94a59	about 3 years	Pierre-Loïc Garoche	blup
EMF_backend.ml~	23 Bytes	a6df3992	over 3 years	Pierre-Loïc Garoche	Working on EMF backend to express cocospec info...
EMF_common.ml	6.4 KB	333f42fd	about 3 years	Pierre-Loïc Garoche	[EMF] more hash
EMF_library_calls.ml	1.24 KB	30f46c0c	about 3 years	Pierre-Loïc Garoche	Renamed math lib into lustrec_math to avoid con...

#	Date	Author	Comment
333f42fd	07/18/2017 06:15 AM	Pierre-Loïc Garoche	[EMF] more hash
049f3b17	07/18/2017 05:15 AM	Pierre-Loïc Garoche	Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
329774de	07/18/2017 05:14 AM	Pierre-Loïc Garoche	[EMF] bug solved, some ids were not hashed
714588bf	07/18/2017 01:59 AM	Bourbouh	ange ID length
def94a59	07/18/2017 12:42 AM	Pierre-Loïc Garoche	blup
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.

Also available in: Atom