Project

General

Profile

Revision:

Revisions

# Date Author Comment
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 https://cavale.enseeiht.fr/git/lustrec into vhdl

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

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

5de4dde4 11/24/2018 12:16 AM Pierre-Loïc Garoche

Major refreshing of machine generation

59020713 11/23/2018 03:32 AM Pierre-Loïc Garoche

Some progress on EMF bqckend. Refactoring machines code

e8250987 11/22/2018 12:16 AM Pierre-Loïc Garoche

Unevaluation of types and clocks dimension has been already performed before producing the lusic.

95944ba1 11/21/2018 11:53 PM Pierre-Loïc Garoche

Cleaning up stuff in normalization. Mainly replace arguments with only required elements
node_Table hashtbl is now only available through functions of the corelang.mli

684d39e7 11/21/2018 09:19 PM Pierre-Loïc Garoche

Moved lusic to .h printer after normalizing in case we want one day to produce ACSL from a normalized spec
Trying also to extend the parser to deal with imported nodes....

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

Unified compilation of lusi and lus files
Different parsers yet but shared process.
In case of lusi input the C backend is bypassed since the .h is generated from the lusic and no C code should be generated since it may overwrite existing manually written code...

19a1e66b 11/21/2018 05:58 AM Pierre-Loïc Garoche

Added include directive that directly inject a lustre source file in the prog

5fccce23 11/21/2018 03:23 AM Pierre-Loïc Garoche

- Dep type with a tuple has been replaced by a record type
- Modules now is more integrated and performed the building of the type/clock env.
previously some computation were performed twice by different functions. Some of these functions have been moved from compiler_common to modules

f9f06e7d 11/20/2018 11:21 PM Pierre-Loïc Garoche

- Module.load_header and load_program were merged.
- Contract were extended with list of statements.

a4158a4b 11/20/2018 11:20 PM Pierre-Loïc Garoche

Added back the gitbranch option ins configure.ac. Was wrongly removed in the release process

32bafa6f 11/20/2018 11:20 PM Pierre-Loïc Garoche

Some thoughts about lusic

7f2309bc 11/20/2018 07:02 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

222db658 11/20/2018 04:48 PM Pierre-Loïc Garoche

New url in opam file

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

New archive for 1.6

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

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

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

Improved configure.ac

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 https://cavale.enseeiht.fr/git/lustrec 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 https://cavale.enseeiht.fr/git/lustrec into cocospec

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

configure.ac 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

ba371202 10/08/2018 05:03 PM Pierre-Loïc Garoche

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

a6b15b13 10/08/2018 04:53 PM Pierre-Loïc Garoche

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

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

d4b28a09 10/08/2018 11:01 AM Christophe Garion

cocospec: fixing merge conflicts on parser

873647ba 10/08/2018 09:25 AM Pierre-Loïc Garoche

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

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 configure.ac

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

(201-300/1472) Per page: 25, 50, 100

Also available in: Atom