/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ e7cc5186

Name	Size	Revision	Age	Author	Comment
C		e7cc5186	almost 6 years	Pierre-Loïc Garoche	Refactor error printing.
EMF		785b64f9	almost 6 years	Pierre-Loïc Garoche	[EMF] Protecting print of names to ensure a len...
Horn		212d6eff	almost 6 years	Pierre-Loïc Garoche	[HORN] handled asserts in stateless node step r...
Java		a2d97a3e	almost 9 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
backends.ml	478 Bytes	ef8a361a	almost 6 years	Pierre-Loïc Garoche	Provides type compatible with Matlab types in E...

#	Date	Author	Comment
e7cc5186	07/18/2017 12:03 AM	Pierre-Loïc Garoche	Refactor error printing.
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
2823bc51	07/11/2017 01:16 AM	Pierre-Loïc Garoche	Proper integer index for enumerated branches

Also available in: Atom