Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 3c3414c5

# Date Author Comment
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 configure.ac)

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 Automata.ml 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 https://cavale.enseeiht.fr/git/lustrec 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/Makefile.in

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

Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec 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 _tags.in

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

json-parser: clean packages and _tags.in

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

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

c5d45c13 09/22/2017 05:43 PM Pierre-Loïc Garoche

[lustresf]: tuple of false values for initial state

74ca6b61 09/22/2017 05:38 PM Pierre-Loïc Garoche

A fresh option to print with declared types instead of inferred ones

bad7b67a 09/22/2017 05:20 PM Christophe Garion

parser-json: first steps to integrate JSON parser

e7b4ba42 09/22/2017 05:18 PM Christophe Garion

add files in gitignore

69c96b6c 09/22/2017 04:39 PM Pierre-Loïc Garoche

lustresf: Better construction of lustre ast. Still more work to be done.

27e5a70d 09/22/2017 04:38 PM Pierre-Loïc Garoche

Even prettier pretty printing. Is it even possible to improve?

93119c3f 09/21/2017 01:48 PM Pierre-Loïc Garoche

Moved stateflow tool in src/tool
Updated the makefile to compile lustresf
Not working yet

cb781911 09/15/2017 02:19 PM Pierre-Loïc Garoche

Missing readme file in the import

2de7fa82 09/15/2017 02:16 PM Pierre-Loïc Garoche

Initial import of stateflow_cps_semantics (github)

6a078e8a 07/27/2017 10:46 PM Pierre-Loïc Garoche

C backend: solved the issue of long name in generated binaries.

0a10042e 07/27/2017 10:43 PM Pierre-Loïc Garoche

Normalization: force normalization of "every" arguments

f76eae4f 07/27/2017 07:44 PM Pierre-Loïc Garoche

first solution to address very large identifiers in node names, logs, and generated binaries

8f0e9f74 07/21/2017 08:48 PM Pierre-Loïc Garoche

[EMF] improved feedback on reset calls

714bb286 07/20/2017 10:21 PM Pierre-Loïc Garoche

Merge branch 'dynamic_inlining' into unstable

264a4844 07/20/2017 10:20 PM Pierre-Loïc Garoche

First working version of algebraic loop resolution. Disabled by default.

12c62417 07/18/2017 10:07 PM Pierre-Loïc Garoche

[EMF} missing brace

9f158b2b 07/18/2017 10:01 PM Pierre-Loïc Garoche

[EMF] missing quotes

23ce017b 07/18/2017 09:59 PM Pierre-Loïc Garoche

Ongoing work

e1ef00d0 07/18/2017 05:19 PM Pierre-Loïc Garoche

Merge branch 'unstable' into dynamic_inlining

568b5a26 07/18/2017 09:24 AM Pierre-Loïc Garoche

[EMF] improved alignement of braces + solved (naother) bug in shortening of ids

333f42fd 07/18/2017 06:15 AM Pierre-Loïc Garoche

[EMF] more hash