Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

# Date Author Comment
1e0f3191 12/06/2018 12:41 PM Arnaud Dieumegard

Update of types fields names

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

Cleaned code to prevent unused variables warnings

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

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

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

Merlin files

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

First working version of switched system extraction for seal tool

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

Restructuring code in SEAL

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

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.

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.

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

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

Modified output display for check mode

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

Added open in vhdl ast

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

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

Added -check flag to start vhdl model verification

b6ff3e98 08/27/2018 02:42 PM Arnaud Dieumegard

Removed concurrent assignment statement from mini-vhdl grammar

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

update of mini-vhdl to lustre

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

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

7f5d0cde 07/25/2018 04:01 PM Arnaud Dieumegard

Qualified expressions, default values for expressions, pp for association_elements

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

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

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

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

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.

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

b0c381d0 07/12/2018 04:04 PM Pierre-Loïc Garoche

Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal

e1102543 07/11/2018 04:52 PM Arnaud Dieumegard

Renaming of cst_val_t type as vhdl_cst_val_t

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

eb07b479 07/09/2018 05:05 PM Arnaud Dieumegard

Added support for subprograms, variables assignments, aggregate, others

fbc571e6 07/04/2018 04:06 PM Arnaud Dieumegard

Refactoring of vhdl data types

7d77632f 06/22/2018 06:24 PM Pierre-Loïc Garoche

Added two fresh vars counter and uid.
uid is a list of integer denoting the specific instance of a stateful/stateless node.

57d61d67 06/22/2018 11:24 AM Pierre-Loïc Garoche

New option to select github version of Z3
Added Yojson dependency in lustrev
Some progress on Cex generation

fae1790f 06/21/2018 05:42 PM Arnaud Dieumegard

Added support for Process statements, signal assignment, If, Exit and Null sequential statements

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

998766b4 06/11/2018 09:37 PM Pierre-Loïc Garoche

missing file

4300981b 06/11/2018 06:44 PM Pierre-Loïc Garoche

Zustre: timeout and slicing

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

Main lustrei

885b2896 05/31/2018 02:59 PM Xavier Thirioux

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

2f7c9195 05/30/2018 04:02 PM Pierre-Loïc Garoche

zustre progress. Issues with sliced predicates

3d3718ae 05/29/2018 08:59 PM Pierre-Loïc Garoche

package z3 to Z3 when using z3 github repo.

df00d682 05/29/2018 01:49 PM Pierre-Loïc Garoche

Adding input in MAIN fdecl

dbab1fe5 05/29/2018 12:09 AM Pierre-Loïc Garoche

[lustrev] fixed some issues when calling Z3. Seems working for the moment: basic call to Z3 and sat/unsat result

9f3de818 05/18/2018 08:05 AM Pierre-Loïc Garoche

Some progress on zustre

51ec4e8c 04/18/2018 03:29 AM Pierre-Loïc Garoche

Try to debug the use of Z3 API. Still having troubles

ef609cc9 04/07/2018 12:55 AM Pierre-Loïc Garoche

Zustre: do not declare variables as Fixedpoint relations

8eeec77e 04/06/2018 11:56 PM Pierre-Loïc Garoche

Filtering out ERR and MAIN from the forall quantification

5778dd5e 04/06/2018 11:19 PM Pierre-Loïc Garoche

Some progress on zustre2

46cb4020 04/03/2018 05:02 PM Pierre-Loïc Garoche

zustre: missing basic ops

e4edf171 04/03/2018 04:38 PM Pierre-Loïc Garoche

Zustre backend

e17d3718 04/03/2018 11:28 AM Pierre-Loïc Garoche

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

6eda0c25 03/30/2018 11:40 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

8446bf03 03/30/2018 05:54 PM Pierre-Loïc Garoche

- Makefile: solved dependency problem when compiling include lusi
- Renamed type declarations as lustre_types and machine_code_types

ff2d7a82 03/29/2018 01:41 PM Pierre-Loïc Garoche

Ongoing work on zustre

bc86ee26 03/28/2018 10:41 AM Xavier Thirioux

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

c1785a55 03/28/2018 10:35 AM Pierre-Loïc Garoche

ongoing work on zustre backend

ad4774b0 03/15/2018 12:07 AM Pierre-Loïc Garoche

- Normalization parameters (alias and unfold_array) are now provided as parameter
- program type renamed as program_t
- Initiating the lustrev tool with dependencies to z3 and seal.

9c654082 02/13/2018 05:42 PM Pierre-Loïc Garoche

[lustresf] work in progress. Added global env with initial values

51a2c05a 02/01/2018 01:46 PM Xavier Thirioux

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

9ae027f8 12/21/2017 12:29 AM Pierre-Loïc Garoche

[stateflow] some progress, linking the parsed json to lustrec engine. Some variables are not yet typed. To investigate ...

e304cd81 12/14/2017 11:24 AM Xavier Thirioux

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

61e2b4b7 12/12/2017 03:17 PM Christophe Garion

Merge branch 'unstable-merge' into unstable

b06b7b77 12/12/2017 03:15 PM Christophe Garion

[lustresf] add Program constructor in model examples + sf_sem

b1af4f73 12/12/2017 02:51 PM Christophe Garion

[JSON] remove pretty-printing functions declarations in cPS_transformer

97b1a486 12/12/2017 12:37 PM Xavier Thirioux

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

72f666d3 12/12/2017 12:35 PM Xavier Thirioux

...

e0d6f1d1 12/12/2017 12:23 PM Pierre-Loïc Garoche

[lustresf] refactoring automata generation using Automata.ml functions

50ae9ab8 12/12/2017 12:10 PM Christophe Garion

simple conflict when merging unstable and json-parser

2a4992a1 12/12/2017 10:29 AM Pierre-Loïc Garoche

[lustresf] Some progress: automaton compiles but not when preprocessed

050147ec 10/13/2017 02:58 PM Christophe Garion

json-parser: correct parser for regex for real variables with e|E

befd32b5 10/13/2017 02:58 PM Christophe Garion

json-parser: add test for real variable with e|E