| Branch: | Tag: | Revision:

lustrec @ 17e1d0f4

# Date Author Comment
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

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

Cocospec discussions in the

31027df4 06/08/2018 06:45 PM Xavier Thirioux

updated luster lexer ??

bc504848 05/18/2018 04:02 PM Xavier Thirioux

corrected kind parsing

12249005 05/16/2018 05:19 PM Pierre-Loïc Garoche

Kind licence file

2ae3ef3f 05/16/2018 05:19 PM Pierre-Loïc Garoche

Tentative to rely on Kind parser for contracts

ff6ba54e 05/16/2018 03:34 PM Pierre-Loïc Garoche

Produce condition coverage for basic boolean expressions. To be improved with a simpler condition.

8cacf677 05/15/2018 02:38 PM Pierre-Loïc Garoche

[lustrec/mcdc/ improved the MCDC output

ea8f51ae 03/30/2018 11:23 PM Pierre-Loïc Garoche

Basic library printers moved into backend specific printer files

2863281f 03/30/2018 11:14 PM Pierre-Loïc Garoche

Further restructuring:
-* to define basic builder for arrow (node, name, ...)
- machine_code_common similar to corelang but for machine_code (printers, some builders, ...)
- machine_code restricted to the translatation from normalized nodes to machines

089f94be 03/30/2018 10:43 PM Pierre-Loïc Garoche

MLI for normalization and machine_code.
Structs defining machines are now in machine_code_types

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

58dc23f3 03/30/2018 05:15 PM Pierre-Loïc Garoche

Merge branch 'unstable' of into unstable

53472c83 03/29/2018 03:53 PM Pierre-Loïc Garoche

Updated TODO
Changed selection of files in odocl

639e5507 03/15/2018 03:00 AM Bourbouh

add lustrec math functions

dd29e0c7 03/15/2018 02:59 AM Bourbouh

add lustrec math functions

0bca9d53 03/15/2018 02:58 AM Pierre-Loïc Garoche

Recursive resolution of dependencies

642e116d 03/09/2018 09:52 AM Pierre-Loïc Garoche

Ongoing work on salsa: introduce slicing of expr

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

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

f4050bef 02/13/2018 05:17 PM Pierre-Loïc Garoche

Conditional activation of machine type plugin. currently a little buggy. Shall be desactivated.

94c457b7 02/13/2018 05:16 PM Pierre-Loïc Garoche

Updated Salsa plugin to latest version of Salsa.
Some issues wrt machine type features.
Work in progress

3c3414c5 02/01/2018 02:42 PM Pierre-Loïc Garoche

Solved issue with typing of enumerated types

66359a5e 01/31/2018 07:27 AM Pierre-Loïc Garoche

[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program

b7c3790e 01/31/2018 07:23 AM Pierre-Loïc Garoche

[lustret] improved enumeration of mutants

cda2fcc8 01/31/2018 07:21 AM Pierre-Loïc Garoche

[lustret] When generating MC/DC conditions, produce them as EMF XML output

a1230f68 01/31/2018 07:17 AM Pierre-Loïc Garoche

Solved issues with configure and ocaml libs dependencies

185ddf4d 01/30/2018 03:01 PM Pierre-Loïc Garoche

Type issue Bytes vs string

5d5139a5 01/18/2018 05:36 PM Pierre-Loïc Garoche

[lustret] More effective mutants generation
Solved the misrenaming of imported nodes (eg int_to_real)

70466917 01/18/2018 05:34 PM Pierre-Loïc Garoche

[main] node locals are now sorted according to their dependencies wrt clocks. The produced lustre node with types shall now be compilable

94cf0fc5 01/18/2018 05:33 PM Pierre-Loïc Garoche

[main] cleaned superfluous empty line in generated lustre output

13aec2da 01/18/2018 05:31 PM Pierre-Loïc Garoche

[main] enum typedef in C use the original lustre filename as identifier. This commit cleans the filename to remove dots.

5487dd79 01/17/2018 05:09 PM Pierre-Loïc Garoche

[mutations] solved issues with
- mutations that could not be performed (ie. changing an integer constants when no integer constant appear in the program)
- infinite computation of mutants, because of unproper randomization.

76bed200 01/17/2018 05:08 PM Pierre-Loïc Garoche

Added cmake basic functions
Improved the Cmake Lustre_Compile function

1ca48e48 01/16/2018 08:09 PM Pierre-Loïc Garoche

No existing input file returns a 1 error code

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

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

[general] adding more entry rules for lustre parser to extract expressions, vdecl_list and statement list

50dadc21 12/19/2017 06:01 PM Pierre-Loïc Garoche

[global] reordered local vars, keeping the declared ones before the others. Was mandatory for clocked expressions in compiled automata.

9b8acef5 12/19/2017 05:51 PM Pierre-Loïc Garoche

[salsa] cleaning verbose logs

333e3a25 12/18/2017 09:57 AM Pierre-Loïc Garoche

[general] Refactor get_node_eqs to produce (eqs, auts) with automatons

8b87d0a5 12/14/2017 08:57 PM Pierre-Loïc Garoche

Forcing mpfr status when -real mpfr asked. Default precision is 100 bits.

0179e76f 12/14/2017 09:50 AM Christophe Garion

add uninstall target in Makefile

ea45924c 12/13/2017 05:09 PM Christophe Garion

fix conflicts

6b2f1b5d 12/13/2017 05:08 PM Christophe Garion

correct install target in Makefile

1292d0aa 12/13/2017 04:08 PM Christophe Garion

correct install target in Makefile

3b4b7a2e 12/12/2017 04:25 PM Christophe Garion

[lustresf] lustresf targets are optional in Makefiles (see

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

Merge branch 'unstable-merge' into unstable

f50110e7 12/12/2017 03:16 PM Christophe Garion

[lustresf] use Unix package

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

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

[lustresf] refactoring automata generation using functions

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

simple conflict when merging unstable and json-parser

9416ee78 12/12/2017 12:01 PM Pierre-Loïc Garoche

Merge branch 'unstable' of into unstable

753d4562 12/12/2017 11:59 AM Pierre-Loïc Garoche

[general] print types before nodes in lustre output

6ca345fd 12/12/2017 11:52 AM Christophe Garion

typo in src/

1613ad20 12/12/2017 10:32 AM Pierre-Loïc Garoche

Merge branch 'unstable' of into unstable

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

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

2196948d 12/12/2017 09:25 AM Pierre-Loïc Garoche

[EMF] Less verbose

2ca4d0c9 12/06/2017 09:27 AM Hamza Bourbouh

add fmod function in include/simulink_math_fcn.lusi

db7468fd 11/28/2017 06:33 PM Pierre-Loïc Garoche

Added some libm functions to lustrec_math.lusi

3e1d20e0 11/15/2017 09:12 AM Pierre-Loïc Garoche

[MCDC] Solved some issues and transformed the code from iterators to fold

ef8ef3ed 11/15/2017 12:48 AM Pierre-Loïc Garoche

[lustret] bug solved in file path

0d6c2694 11/15/2017 12:43 AM Pierre-Loïc Garoche

[lustret] mutation report is create in initial folder

55a8633c 11/15/2017 12:32 AM Pierre-Loïc Garoche

[lustret] Improved mutation with json traceability

fd19d190 11/15/2017 12:31 AM Pierre-Loïc Garoche

New function in Location to access to line number

04257b1e 11/15/2017 12:31 AM Pierre-Loïc Garoche

Moved stage1 in separate file: it is shared among binaries

7c79dd93 11/14/2017 07:22 PM Pierre-Loïc Garoche

[EMF] adding original name field in the JSON

7eafa0e1 11/10/2017 12:19 AM Pierre-Loïc Garoche

[EMF] Added the reset signal (the every argument) as input to the JSON struct

c80e92d1 11/09/2017 10:58 PM Pierre-Loïc Garoche

Solving a warning with ocaml 4.04 and uppercase_ascii. Provides backward compatibility for 4.02

953879f0 11/09/2017 10:45 PM Pierre-Loïc Garoche

Issue with clocked expressions. Now handled throught a local branch, ie. a single action block in Simulink

103f6f60 11/09/2017 10:45 PM Pierre-Loïc Garoche

Missing last fprintf @. in the lustre output

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

d8abc19b 10/13/2017 11:18 AM Christophe Garion

json-parser: correct bug on real variables value

cbfee4a3 10/13/2017 11:16 AM Christophe Garion

json-parser: add string_of_XXX functions for assertions

c3d8313d 10/12/2017 03:36 PM Christophe Garion

json-parser: test exception for variables

89ac5599 10/11/2017 02:26 PM Christophe Garion

json-parser: switch arguments for assert_equal (expected/actual)

0c0b0aff 10/11/2017 02:25 PM Christophe Garion

json-parser: use JSON_parse_error exception

5c0d6e4e 10/10/2017 10:54 PM Christophe Garion

json-parser: more tests with single variables

2b95979d 10/10/2017 05:39 PM Christophe Garion

json-parser: change variables names in tests

0291fcfd 10/10/2017 05:37 PM Christophe Garion

json-parser: add test for boolean variable true

f5c1e4c1 10/10/2017 05:33 PM Christophe Garion

json-parser: refactor first test

550e6a83 10/10/2017 05:30 PM Christophe Garion

json-parser: first unit test for JSON parser (variables)

2511454c 10/10/2017 05:30 PM Christophe Garion

json-parser: prepare tests in Makefiles and

30fef623 10/10/2017 05:29 PM Christophe Garion

json-parser: clean packages and

430dc9ee 10/06/2017 02:57 PM Christophe Garion

json-parser: replace assert with exceptions

d21f00de 10/06/2017 02:47 PM Christophe Garion

json-parser: add check for librairies in

921230e6 10/06/2017 02:33 PM Christophe Garion

json-parser: clean files names and directories

5a71ed25 10/06/2017 02:21 PM Christophe Garion

json-parser: use Logs and Cmdliner librairies

6b0376c9 10/06/2017 11:06 AM Pierre-Loïc Garoche

Merge branch 'unstable' of into unstable

c4fb63af 10/06/2017 11:06 AM Pierre-Loïc Garoche

solved bug 56: missing last node in generated lusi

38ae7765 10/06/2017 10:10 AM Pierre-Loïc Garoche

no comment

efb6eb15 10/05/2017 05:48 PM Christophe Garion

clean for YoJSON package

bbfbc15a 10/05/2017 02:20 PM Christophe Garion

json-parser: remove Const_bool and use Const_tag

57ecad58 10/03/2017 12:01 PM Christophe Garion

parser-json: clean main program + add pp for vars

37290ede 10/03/2017 10:47 AM Christophe Garion

parser-json: correct parsing of real constants for variables

04396cc7 10/02/2017 05:55 PM Christophe Garion

parser-json: add variables in parsing

eb70bae5 09/26/2017 03:38 PM Christophe Garion

parser-json: final version of parser with new types

18acb6fc 09/25/2017 11:20 AM Christophe Garion

minor changes in

15a6823b 09/25/2017 11:15 AM Christophe Garion

TMerge branch 'unstable' into json-parser

68601cf5 09/23/2017 10:26 AM Xavier Thirioux

bug correction: each var_decl must be unique and not shared as a global var