Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ 30f46c0c

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

Latest revisions

# Date Author Comment
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

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

View revisions

Also available in: Atom