Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools / importer / main_lustre_importer.ml @ 13872a54

History | View | Annotate | Download (3.57 KB)

# Date Author Comment
d040e852 09/10/2018 04:36 PM Arnaud Dieumegard

Modified output display for check mode

a33a345a 08/27/2018 05:36 PM Arnaud Dieumegard

Added -check flag to start vhdl model verification

4a0ba157 08/24/2018 01:49 PM Arnaud Dieumegard

Minor comments update

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

Start of the Lustre generator

b15439da 07/30/2018 06:04 PM Arnaud Dieumegard

Update of the command line

cd7d074b 07/30/2018 05:33 PM Arnaud Dieumegard

Added command line parameters

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

ac6b9224 07/23/2018 01:54 PM Arnaud Dieumegard

Main executable now throws exceptions when parsing errors

6d3b5007 07/20/2018 04:52 PM Arnaud Dieumegard

Added support for ProcedureCall statements

4fda48d3 07/17/2018 04:01 PM Arnaud Dieumegard

Cleaned main importer, now outputs only the vhdl code

cfe98135 07/17/2018 10:42 AM Arnaud Dieumegard

Update of importer to display only last version of pretty printed vhdl code

40364f53 07/16/2018 10:44 AM Arnaud Dieumegard

New version of the vhdl import + compilation

d3f0059e 07/11/2018 04:49 PM Arnaud Dieumegard

New version of the VHDL importer with pretty printing based on ppx_show

62b6a61c 07/11/2018 09:32 AM Arnaud Dieumegard

Functional VHDL importer

d77323b8 06/15/2018 05:45 PM Arnaud Dieumegard

Added postprocessing for numeric literals

55963629 06/12/2018 05:10 PM Arnaud Dieumegard

Ongoing work on json vhdl to vhdl structure conversion

3ca452f3 06/01/2018 04:12 PM Pierre-Loïc Garoche

Main lustrei