Project

General

Profile

Revision:

Revisions

# Date Author Comment
a972e0f8 09/26/2018 12:40 PM Arnaud Dieumegard

Help comments on mini_vhdl to lustre transformation

639e5db9 09/26/2018 11:31 AM Arnaud Dieumegard

Added node variables generation from signals/variables definitions in architecture

35107b42 09/26/2018 10:51 AM Arnaud Dieumegard

Code cosmetics

dd48d8c9 09/26/2018 09:50 AM Arnaud Dieumegard

Mini_vhdl to lsutre code cleaning

b98638f7 09/25/2018 05:59 PM Arnaud Dieumegard

Added new functions to generate i/o and nodes

13872a54 09/25/2018 03:56 PM Arnaud Dieumegard

Added missing transformation methods squelettons for mini_vhdl to lustre transformation

0cb37f54 09/25/2018 03:55 PM Arnaud Dieumegard

Added missing Open pattern matching case

8b30c441 09/25/2018 01:16 PM Arnaud Dieumegard

Added lustrei README file

8fa4e28e 09/25/2018 11:23 AM Pierre-Loïc Garoche

[bug solved] do not normalize eexpr in annotations, only in specification.

987fa573 09/25/2018 10:16 AM Pierre-Loïc Garoche

Merge branch 'git-configure' into cocospec

3471cb4d 09/25/2018 10:12 AM Pierre-Loïc Garoche

Better management of git branch in configure.ac

949b2e1e 09/24/2018 02:18 PM Pierre-Loïc Garoche

Normalizing eexpr

3b16e10b 09/24/2018 02:15 PM Arnaud Dieumegard

Extraction of signals assignments in component instantiation concurrent statements

08cbfc23 09/24/2018 10:45 AM Arnaud Dieumegard

Added Open vhdl_name_t case in pattern matchings

1569a55a 09/21/2018 03:25 PM Pierre-Loïc Garoche

Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospec

27446b88 09/14/2018 06:02 PM Pierre-Loïc Garoche

Improving connection with CDash

92458d14 09/14/2018 04:34 PM Christophe Garion

doc: add HTML grammar file

e82e03c6 09/14/2018 04:32 PM Christophe Garion

doc: add HTML grammar file

a0b18d45 09/14/2018 02:49 PM Christophe Garion

parser: fix Menhir end-of-stream errors

1ac315e3 09/14/2018 01:44 PM Christophe Garion

clean Lustre parser file (mainly by commenting...)

57392da1 09/14/2018 10:43 AM Christophe Garion

solve error in lexer introduced by previous merge

3b5419a8 09/14/2018 10:36 AM Christophe Garion

finishing solving strange conflicts for merge...

4f26dcf5 09/13/2018 03:36 PM Pierre-Loïc Garoche

Renamed annots into contracts. Preparing for syntax extension

17e1d0f4 09/13/2018 03:14 PM Pierre-Loïc Garoche

- Removed the kind2 file (parser/lexer/types)
- Cleaned a little bit our parser: removal of old prelude constructs

f09146ae 09/13/2018 02:58 PM Christophe Garion

Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospec

37d3e0eb 09/13/2018 01:55 PM Pierre-Loïc Garoche

Cocospec discussions in the TODO.org

315cbfda 09/10/2018 04:37 PM Arnaud Dieumegard

Beginning of squeleton for mini_vhdl refactoring

d040e852 09/10/2018 04:36 PM Arnaud Dieumegard

Modified output display for check mode

ee7f4a55 08/31/2018 10:56 AM Arnaud Dieumegard

vhdl 2 mini-vhdl code cleaning

9195145a 08/31/2018 10:12 AM Arnaud Dieumegard

First version of implicit memories explicitation

40ac0ede 08/31/2018 10:06 AM Arnaud Dieumegard

Mini vhdl utils simplification

e15a8d65 08/31/2018 10:05 AM Arnaud Dieumegard

Added open in vhdl ast

83e95762 08/31/2018 10:04 AM Arnaud Dieumegard

Vhdl yojson parsing/printing (open)

5cef1e41 08/31/2018 10:04 AM Arnaud Dieumegard

Vhdl pp update (open)

990ae4ee 08/31/2018 10:03 AM Arnaud Dieumegard

Mini vhdl pp update (If, Case, Use clause)

7025c701 08/29/2018 04:57 PM Arnaud Dieumegard

component instantiation generic map resolution

10d196bc 08/29/2018 04:51 PM Arnaud Dieumegard

Bug fix: pp for unary operations

ba9fd1cc 08/29/2018 04:30 PM Arnaud Dieumegard

Resolution of association lists for component instantiation

a16d29bf 08/29/2018 04:29 PM Arnaud Dieumegard

Communalisation of mini-vhdl structure utils

70836642 08/28/2018 03:52 PM Arnaud Dieumegard

Updated checks display and adde small obvious checks

d5b99b54 08/28/2018 03:51 PM Arnaud Dieumegard

Code cleaning in vhdl to mini-vhdl transformation

70ec69a7 08/27/2018 05:37 PM Arnaud Dieumegard

Added missing sensitivity list resolution fold

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

Added -check flag to start vhdl model verification

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

304640aa 08/24/2018 04:52 PM Arnaud Dieumegard

update of mini-vhdl to lustre

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

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

Minor comments update

e4811e4c 08/04/2018 12:58 AM Bourbouh

add more conversion libraries

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

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

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

d3a35600 07/25/2018 11:29 AM Arnaud Dieumegard

Conditional signals selection, waveform with delay

3d099916 07/24/2018 04:49 PM Arnaud Dieumegard

PP for Subprogram

32614c2d 07/24/2018 03:17 PM Arnaud Dieumegard

Correction of Procedure declaration pp

99ac6a26 07/24/2018 03:16 PM Arnaud Dieumegard

Default value for ProcedureCall assocs

eab3066b 07/24/2018 02:43 PM Arnaud Dieumegard

Aggregate pp, correction of element_assoc pp

7f55f63f 07/24/2018 02:35 PM Arnaud Dieumegard

Default value corrections

ec031ed0 07/24/2018 01:31 PM Arnaud Dieumegard

Added support for declarative items

77bdbec5 07/24/2018 10:53 AM Arnaud Dieumegard

Added support for use clause in architecture declarations

9d5959cb 07/24/2018 10:19 AM Arnaud Dieumegard

Update of component instantiation pp

239f4429 07/24/2018 03:05 AM Bourbouh

fix rem and mod

8be49798 07/24/2018 02:39 AM Bourbouh

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

4d841db7 07/24/2018 02:38 AM Bourbouh

add tanh

44998c1e 07/23/2018 05:59 PM Arnaud Dieumegard

Corrections on component instantiation

3b8ba4b5 07/23/2018 04:58 PM Arnaud Dieumegard

Added support for Component declarations in packages

21b75edb 07/23/2018 03:40 PM Arnaud Dieumegard

Pretty printing of assert statements

1f15a1b9 07/23/2018 03:32 PM Arnaud Dieumegard

Constant expression printing with units, Format for case statements, process formatting and name

ab6312e7 07/23/2018 02:54 PM Arnaud Dieumegard

Added support for constants units

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

Main executable now throws exceptions when parsing errors

248eb65e 07/23/2018 01:54 PM Arnaud Dieumegard

Added support for Array,Record,Enumeration constructs

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

Added support for ProcedureCall statements

6f9095f6 07/19/2018 05:42 PM Arnaud Dieumegard

Update of the component instantiation type to add architecture name reference

27332198 07/19/2018 01:40 PM Arnaud Dieumegard

Added support for component instantiation

389493d3 07/18/2018 11:21 AM Arnaud Dieumegard

code cleaning

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

Cleaned main importer, now outputs only the vhdl code

d4175560 07/17/2018 04:00 PM Arnaud Dieumegard

Correction of Variables,Signals,Constants definitions of initial values. Now uses an expression.

5f3d7be6 07/17/2018 02:00 PM Arnaud Dieumegard

PP correction for separating spaces

3bc26d43 07/17/2018 01:39 PM Arnaud Dieumegard

PP support for concurrent assignment, processes

52323a31 07/17/2018 10:50 AM Arnaud Dieumegard

PP for Exit, Null and Return statements

(301-400/1482) Per page: 25, 50, 100

Also available in: Atom