| Branch: | Tag: | Revision:

lustrec @ 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

4857c483 12/06/2018 12:35 PM Arnaud Dieumegard

Typo in readme

029fd57f 11/28/2018 04:51 PM Arnaud Dieumegard

updated repository branch definition in opam config

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

3b1065d3 11/26/2018 03:32 PM Arnaud Dieumegard

Merge branch 'vhdl' of into vhdl

b6efcf3a 11/26/2018 03:28 PM Arnaud Dieumegard

Merge remote-tracking branch 'origin/unstable' into vhdl

95b507a8 11/17/2018 07:18 AM Pierre-Loïc Garoche

Merge branch 'master' of

a7ce880f 11/17/2018 07:17 AM Pierre-Loïc Garoche

Initiating nwew version 1.7 Xia/Huai

531c07e4 11/17/2018 06:46 AM Pierre-Loïc Garoche

Cleaning git references for release

efe57954 11/17/2018 06:37 AM Pierre-Loïc Garoche

Recording the opam file

690eb3a5 11/17/2018 06:30 AM Pierre-Loïc Garoche

Preparing release 1.6 Xia/Zhui

b2b2ac74 11/17/2018 06:26 AM Pierre-Loïc Garoche

Merge branch 'master' into unstable

fb716d2c 11/17/2018 06:07 AM Pierre-Loïc Garoche

Some autoconf update

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

3ea2599d 11/16/2018 06:42 AM Pierre-Loïc Garoche

No more uses of kind files

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.

6de6bcf4 11/13/2018 04:16 PM Pierre-Loïc Garoche


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

ec8fc65e 11/08/2018 09:53 AM Pierre-Loïc Garoche tuning

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.

e8c89553 10/01/2018 09:32 AM Pierre-Loïc Garoche

Adding lustrei target to makefile
Compute dependencies in

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

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

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

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

Improving connection with CDash

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

doc: add HTML grammar file

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

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

Cocospec discussions in the