Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends @ 13507742

Name Size Revision Age Author Comment
  C 1bff14ac over 6 years Pierre-Loïc Garoche - Added a field lustre_eq to machine instructio...
  EMF 1b721bfd about 6 years Pierre-Loïc Garoche bug fixed: Inputs for branches solved
  Horn 397d5ae3 about 6 years Pierre-Loïc Garoche Copied Printers.pp_expr functions to Horn backe...
  Java a2d97a3e about 9 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
backends.ml 726 Bytes 13507742 about 6 years Pierre-Loïc Garoche Refactored some code: optimization of machine

Latest revisions

# Date Author Comment
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
27d18db9 07/08/2017 05:29 PM Pierre-Loïc Garoche

Branchs output in EMF is only the intersection of each branch defined flows
9f0f88dd 07/07/2017 10:53 PM Pierre-Loïc Garoche

Full rewrite of EMF backend.

View revisions

Also available in: Atom