Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ 010428a7

Name Size Revision Age Author Comment
  C 1d0fd52b over 1 year Xavier Thirioux updated division for Horn clauses
  EMF 2863281f over 1 year Pierre-Loïc Garoche Further restructuring: - arrow.ml* to define ba...
  Horn 1d0fd52b over 1 year Xavier Thirioux updated division for Horn clauses
  Java a2d97a3e over 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  VHDL 010428a7 about 1 year Arnaud Dieumegard DB tuple update to contain assigned elements in...
backends.ml 537 Bytes 43b5fabc over 2 years Pierre-Loïc Garoche [EMF] Disable join of guards in EMF backend

Latest revisions

# Date Author Comment
010428a7 08/27/2018 05:36 PM Arnaud Dieumegard

DB tuple update to contain assigned elements in component

6a2c1a43 08/27/2018 03:07 PM Arnaud Dieumegard

vhdl and mini-vhdl process printing

b6ff3e98 08/27/2018 02:42 PM Arnaud Dieumegard

Removed concurrent assignment statement from mini-vhdl grammar

b2ca2f67 08/27/2018 02:40 PM Arnaud Dieumegard

Mini-vhdl pretty printing for sequential statements and processes

23b37f25 08/27/2018 02:39 PM Arnaud Dieumegard

Concurrent signal assignment statement transformation to concurrent process statement

dcae4909 08/27/2018 02:38 PM Arnaud Dieumegard

Clean ppx deriving comments

3831b5cc 08/24/2018 04:51 PM Arnaud Dieumegard

Update of mini-vhdl pp

4aa05aca 08/24/2018 04:51 PM Arnaud Dieumegard

Building explicit process from concurrent signl assignment

4a92cb37 08/24/2018 01:50 PM Arnaud Dieumegard

Bug fix: resolve entity/arch reference from component instantiation declaration

1732ef44 07/31/2018 02:35 PM Arnaud Dieumegard

Start of the Lustre generator

View revisions

Also available in: Atom