/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 212d6eff

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

#	Date	Author	Comment
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
c82ea2ca	07/11/2017 01:07 AM	Pierre-Loïc Garoche	Enumerated datatypes as integer
2475c9e8	07/10/2017 11:43 PM	Pierre-Loïc Garoche	Refactored EMF backend. Handle now the call to existing math and conv libraries
dd71e482	07/10/2017 06:52 PM	Pierre-Loïc Garoche	EMF backend: each branch provides the inputs and outputs

Also available in: Atom