Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ 4a37b02a

Name Size Revision Age Author Comment
  C 1d0fd52b over 2 years Xavier Thirioux updated division for Horn clauses
  EMF 2863281f over 2 years Pierre-Loïc Garoche Further restructuring: - arrow.ml* to define ba...
  Horn 1d0fd52b over 2 years Xavier Thirioux updated division for Horn clauses
  Java a2d97a3e over 6 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  VHDL 4a37b02a over 2 years Arnaud Dieumegard Typo correction
backends.ml 537 Bytes 43b5fabc over 3 years Pierre-Loïc Garoche [EMF] Disable join of guards in EMF backend

Latest revisions

# Date Author Comment
4a37b02a 07/30/2018 05:33 PM Arnaud Dieumegard

Typo correction

3340aff0 07/30/2018 04:05 PM Arnaud Dieumegard

Some code comments

5bbf7413 07/30/2018 03:59 PM Arnaud Dieumegard

definition of the mini-vhdl types + pp + transformation from vhdl structure

58f8ddf5 07/27/2018 04:23 PM Arnaud Dieumegard

Split PP and Yojson in separate ml for vhdl ast

b0c77300 07/26/2018 06:05 PM Arnaud Dieumegard

PP update: component instantiation type, archi format, port & generic decl in components, signal conditions, return statements expression

1f593d5d 07/26/2018 03:12 PM Arnaud Dieumegard

Printer corrections: signal_condition, conditional_signal, elsif, when conditions, F***ing non-brekaing characters

fc44085e 07/25/2018 04:08 PM Arnaud Dieumegard

PP for procedure call

7f5d0cde 07/25/2018 04:01 PM Arnaud Dieumegard

Qualified expressions, default values for expressions, pp for association_elements

a3f47fb5 07/25/2018 02:26 PM Arnaud Dieumegard

Unbounded array definition printing

d4c98bae 07/25/2018 11:42 AM Arnaud Dieumegard

Use clauses in package definition

View revisions

Also available in: Atom