| Branch: | Tag: | Revision:

lustrec / src @ ccd386cb

# Date Author Comment
ccd386cb 01/04/2019 03:54 PM Arnaud Dieumegard

Added on keywork for wait statement and removed is keywork in process definition when sensitivity list is empty

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

rewriting of processes to transform sensitivity list to wait on statement

bd1f1929 01/04/2019 03:46 PM Arnaud Dieumegard

Added sensitivity list to Wait statements in VHDL and MiniVHDL

4515d925 01/04/2019 03:00 PM Arnaud Dieumegard

Added MiniVHDL package pp

e0f0bc2c 01/04/2019 02:54 PM Arnaud Dieumegard

Added polymorphic option for generated visitors

c26f5a31 01/04/2019 02:45 PM Arnaud Dieumegard

Résolutions de conflits

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

Labels are now optional in the VHDL ast

92aface4 12/14/2018 03:02 PM Arnaud Dieumegard

Removed warnings and solved bug for visitors iterators references between vhdl_ast and mini_vhdl_ast

265f2eca 12/12/2018 11:11 AM Arnaud Dieumegard

Making labels optional for sequential statements

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

20d354f4 12/06/2018 12:40 PM Arnaud Dieumegard

Update of types fields names

95076858 12/06/2018 12:39 PM Arnaud Dieumegard

Merged separated types as one type for VHDL and MiniVHDL asts

c3bd7dcc 12/06/2018 12:36 PM Arnaud Dieumegard

Package dependencies cleaning for lustrei and added visitors ppx

782ba91a 11/28/2018 04:50 PM Arnaud Dieumegard

Unix package use dependency cleaning in tags

fb5326a7 11/28/2018 04:50 PM Arnaud Dieumegard

Cleaned code to prevent unused variables warnings

8271d94a 11/27/2018 01:27 PM Arnaud Dieumegard

Added unix package dependency in tags

fa7c7e0a 11/26/2018 03:35 PM Arnaud Dieumegard

Merge branch 'unstable' into vhdl

ef776f2f 11/17/2018 05:32 AM Pierre-Loïc Garoche

Vhdl export is temporarily disabled

a0721293 11/17/2018 05:31 AM Pierre-Loïc Garoche

program type is now program_t

92c6cca7 11/17/2018 04:54 AM Pierre-Loïc Garoche

Merge branch 'lustrec-seal' into vhdl

b59fa954 11/17/2018 02:04 AM Pierre-Loïc Garoche

Merge branch 'unstable' into vhdl

e491c34a 11/17/2018 01:56 AM Pierre-Loïc Garoche

Issues with linking Z3 on OSX

51106b7e 11/16/2018 11:31 PM Pierre-Loïc Garoche

Fixing issues with changes in machine code

59803095 11/16/2018 11:30 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

673bf87c 11/16/2018 07:56 PM Pierre-Loïc Garoche

Num module for mli

ce0f282d 11/16/2018 07:54 PM Pierre-Loïc Garoche

Num is a package in recent ocaml

1a05d45a 11/16/2018 07:19 AM Pierre-Loïc Garoche

Cleaning warning in mpfr

d948c0bd 11/16/2018 04:18 AM Pierre-Loïc Garoche

math fun lib support in MPFR

ae7d913d 11/16/2018 04:18 AM Pierre-Loïc Garoche

Merlin files

45d53dc3 11/16/2018 02:46 AM Pierre-Loïc Garoche

EMF export of local type definition (for simple types)

4c3c6658 11/16/2018 12:46 AM Pierre-Loïc Garoche

mutation bug solved: improper access to an element of an empty list of bindings

a879351b 11/16/2018 12:44 AM Pierre-Loïc Garoche

Printers bug solved: now properly printing lustre file as open/types/other decls

5c3b45a0 11/15/2018 08:23 PM Pierre-Loïc Garoche

Lustre test gen mutation: bug solved. The path to the installation was hardcoded.

c95a441d 11/15/2018 08:22 PM Pierre-Loïc Garoche

Bug solved in MCDC generation: Some annotations generated were producing problems

bc3139b0 11/15/2018 08:21 PM Pierre-Loïc Garoche

Print the spec within the node

c35de73b 11/15/2018 03:18 AM Pierre-Loïc Garoche

Pretty serious update:
- a bug in regressio ntest Simulink/integrator_ext_IC_matrix_test revealed the following (serious issue):
when building the list of instruction (in the machine code) the access to variable were hardcoded to LocalVar or StateVAr depending whether the variables was part of the identified memories....

05ca2715 11/15/2018 03:16 AM Pierre-Loïc Garoche

Moved back mpfr to its folder. Previsouly there was two competing files :(

307c32f5 11/14/2018 06:13 PM Pierre-Loïc Garoche

MPFR bug solved: typing of function argument was not properly building tuples of types.

0d54d8a8 11/13/2018 02:01 AM Pierre-Loïc Garoche

Removed Contract contruct: imported node should be enough. Solved some warning at compile time

34d3f022 11/12/2018 11:43 PM Pierre-Loïc Garoche

Further processing of contract in the typing. More to go

0d79d0f3 11/12/2018 02:06 AM Pierre-Loïc Garoche

First working version of switched system extraction for seal tool

1cc047f9 11/10/2018 02:07 PM Pierre-Loïc Garoche

Merge branch 'unstable' of into unstable

a5dc55ca 11/09/2018 07:43 AM Pierre-Loïc Garoche

Restructuring code in SEAL

82906771 11/08/2018 03:58 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

1c9625b4 11/08/2018 03:46 PM Pierre-Loïc Garoche

Merge branch 'cocospec_to_be_merged' into unstable
Mainly adapting to new cocospec syntax for contracts

73ccaf2f 11/08/2018 03:29 PM Pierre-Loïc Garoche

Merge branch 'cocospec' of into cocospec

a742719e 11/08/2018 09:12 AM Pierre-Loïc Garoche

SEAL: compute the projection to switched systems. Some issues with intermediate variables and a better selection of split guard have to be addressed

7c8a7647 11/08/2018 09:11 AM Pierre-Loïc Garoche

log new option to mention plugin or module

eb9a8c3c 11/04/2018 07:00 AM Pierre-Loïc Garoche

Moved find_eq from Machine_code to Corelang and sort_eqs from Machine_code to Scheduling

a703ed0c 11/03/2018 12:03 AM Pierre-Loïc Garoche

Preprocess the selected node in seaL BACKEND: focus on memories and perform node slicing.

95fb046e 10/24/2018 01:33 PM Pierre-Loïc Garoche

Scheduling of node equations is now attached to machine type

365d1b07 10/24/2018 01:31 PM Pierre-Loïc Garoche

Moved definition of graph modules from Causality to Utils to avoid cyclic deps

99cb0623 10/19/2018 12:32 AM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

2d27eedd 10/08/2018 04:52 PM Pierre-Loïc Garoche

- Global type env and clock env now availble as a global reference (Global module)
- Adapted the parsing of specification with a cocospec compatible one
- The data structure of contracts is now almost cocospec compatible
- Lustrec-test has been updated to use the newest syntax

778c80fd 10/05/2018 07:54 PM Pierre-Loïc Garoche

Some refactoring
Adapted the parser/types/constructors for cocospec syntax

d17a251e 10/05/2018 03:55 PM Pierre-Loïc Garoche

Some progress on Lustre-> VHDL backend. The structure is prepared but almost empty. More work to be done.

dae7afb1 09/26/2018 05:00 PM Arnaud Dieumegard

Comments update

02440160 09/26/2018 02:50 PM Arnaud Dieumegard

vhdl and mini_vhdl pp: remove empty lines and useless linebreaks in maps

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

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

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

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

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 into cocospec

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