Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ fbad3c4b

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

Latest revisions

# 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

View revisions

Also available in: Atom