Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools / importer @ 12946cbe

Name Size Revision Age Author Comment
main_lustre_importer.ml 4.11 KB 12946cbe over 1 year Arnaud Dieumegard Added component instantiation flattening
mini_vhdl_check.ml 9.7 KB a73dd470 almost 2 years Arnaud Dieumegard Refactoring of utils
mini_vhdl_to_lustre.ml 21.2 KB a73dd470 almost 2 years Arnaud Dieumegard Refactoring of utils

Latest revisions

# Date Author Comment
12946cbe 02/19/2019 12:48 PM Arnaud Dieumegard

Added component instantiation flattening

a73dd470 01/07/2019 01:20 PM Arnaud Dieumegard

Refactoring of utils

7fb1bdba 01/04/2019 03:59 PM Arnaud Dieumegard

Code refactoring

00b2e06b 01/04/2019 03:48 PM Arnaud Dieumegard

rewriting of processes to transform sensitivity list to wait on statement

c1b877b6 01/04/2019 02:40 PM Arnaud Dieumegard

Labels are now optional in the VHDL ast

5360dcf8 12/07/2018 05:50 PM Arnaud Dieumegard

Beggining of implicit latching check

aeec0f04 12/07/2018 11:08 AM Arnaud Dieumegard

Updated expression folding visitor using visitors ppx

f9667424 12/06/2018 12:42 PM Arnaud Dieumegard

Experiences on new checks using visitors

e050e30c 12/06/2018 12:41 PM Arnaud Dieumegard

Removed generated yojson parser, now relies on pre-processed version

1e0f3191 12/06/2018 12:41 PM Arnaud Dieumegard

Update of types fields names

View revisions

Also available in: Atom