Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ e7cc5186

Name Size Revision Age Author Comment
  C e7cc5186 over 2 years Pierre-Loïc Garoche Refactor error printing.
  EMF 785b64f9 over 2 years Pierre-Loïc Garoche [EMF] Protecting print of names to ensure a len...
  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
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

View revisions

Also available in: Atom