Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ ef8a361a

Name Size Revision Age Author Comment
  C 1bff14ac about 3 years Pierre-Loïc Garoche - Added a field lustre_eq to machine instructio...
  EMF ef8a361a almost 3 years Pierre-Loïc Garoche Provides type compatible with Matlab types in E...
  Horn 397d5ae3 about 3 years Pierre-Loïc Garoche Copied Printers.pp_expr functions to Horn backe...
  Java a2d97a3e about 6 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
backends.ml 478 Bytes ef8a361a almost 3 years Pierre-Loïc Garoche Provides type compatible with Matlab types in E...

Latest revisions

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

a6b58a46 07/10/2017 05:14 PM Bourbouh

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

ab1c9ed2 07/10/2017 05:03 PM Bourbouh

small modifs in EMF format

View revisions

Also available in: Atom