/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ fbad3c4b

Name	Size	Revision	Age	Author	Comment
C		1bff14ac	over 7 years	Pierre-Loïc Garoche	- Added a field lustre_eq to machine instructio...
EMF		fbad3c4b	about 7 years	Pierre-Loïc Garoche	[EMF] protect machine names
Horn		212d6eff	about 7 years	Pierre-Loïc Garoche	[HORN] handled asserts in stateless node step r...
Java		a2d97a3e	about 10 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
backends.ml	478 Bytes	ef8a361a	about 7 years	Pierre-Loïc Garoche	Provides type compatible with Matlab types in E...

#	Date	Author	Comment
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>
212d6eff	07/13/2017 06:40 PM	Pierre-Loïc Garoche	[HORN] handled asserts in stateless node step rule definition
07ceae4c	07/13/2017 05:47 PM	Pierre-Loïc Garoche	[HORN] Protect names of stateless nodes with a _fun suffix. This was conflicting with existing names in Z3, ie. "abs". [HORN] Better treatment of stateless nodes collecting semantics Fixes issue #13 on github: https://github.com/coco-team/lustrec/issues/13
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
13507742	07/12/2017 09:06 PM	Pierre-Loïc Garoche	Refactored some code: optimization of machine
1b721bfd	07/11/2017 08:09 AM	Pierre-Loïc Garoche	bug fixed: Inputs for branches solved

Also available in: Atom