Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  C 1d0fd52b over 3 years Xavier Thirioux updated division for Horn clauses
  EMF 2863281f almost 4 years Pierre-Loïc Garoche Further restructuring: - arrow.ml* to define ba...
  Horn 1d0fd52b over 3 years Xavier Thirioux updated division for Horn clauses
  Java a2d97a3e over 7 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  VHDL 23b37f25 over 3 years Arnaud Dieumegard Concurrent signal assignment statement transfor...
backends.ml 537 Bytes 43b5fabc over 4 years Pierre-Loïc Garoche [EMF] Disable join of guards in EMF backend

Latest revisions

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

76f9de64 07/31/2018 11:05 AM Arnaud Dieumegard

mutable object field storing architecture<->entities<->contexts relation, generation of MiniVHDL component instantiation

96cb9cf2 07/31/2018 11:04 AM Arnaud Dieumegard

Added MiniVHDL versions of component instantiation and concurretn statement

9c1ed3ad 07/30/2018 06:26 PM Arnaud Dieumegard

PP order for components and packages

768e8c07 07/30/2018 06:05 PM Arnaud Dieumegard

PP for packages in minivhdl

View revisions

Also available in: Atom