Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src @ 0bd19a92

# Date Author Comment
0bd19a92 05/31/2018 04:39 PM Xavier Thirioux

bug wrt normalization. Didn't take clock into account.

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

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

1d0fd52b 05/18/2018 12:28 AM Xavier Thirioux

updated division for Horn clauses

14da5302 05/17/2018 05:08 PM Xavier Thirioux

corrected euclidean division in C code

eccb3f63 05/17/2018 03:49 PM Pierre-Loïc Garoche

Provide back the previous behavior concerning parsing spec.

4d7f8ce0 05/17/2018 03:45 PM Pierre-Loïc Garoche

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

ba91ed9e 05/17/2018 03:32 PM Pierre-Loïc Garoche

Merge branch 'euclidean' into unstable

0e1a5ece 05/17/2018 03:32 PM Pierre-Loïc Garoche

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

91f0f06a 05/17/2018 03:31 PM Pierre-Loïc Garoche

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

5318ad88 05/17/2018 03:29 PM Xavier Thirioux

introduced euclidean/C-like division in C code generation

fa91d4d0 05/17/2018 03:14 PM Pierre-Loïc Garoche

Euclidean div/mod treatment in Horn backend

3cd040e3 05/17/2018 02:42 PM Pierre-Loïc Garoche

Issues with typing pp_basic_lib_fun

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

8e6cab20 05/15/2018 11:49 AM Pierre-Loïc Garoche

Tuning the pretty printing of Salsa plugin

151117f7 05/07/2018 03:20 PM Pierre-Loïc Garoche

Homogenizing the API for salsa and its use within the plugin

68322df3 05/04/2018 08:01 PM Pierre-Loïc Garoche

Some tentative improvement of Salsa plugin. Not satisfying yet

7065d912 05/04/2018 08:00 PM Pierre-Loïc Garoche

Moved mk_fresh_var from normalization to corelang

8926852f 05/04/2018 05:42 PM Pierre-Loïc Garoche

[scopes] Producing the appropriate scope label

08faae63 05/04/2018 05:09 PM Pierre-Loïc Garoche

NumMartel functions

b068041a 05/03/2018 08:35 AM Pierre-Loïc Garoche

Merging unstable into salsa

c0d116ec 05/03/2018 08:35 AM Pierre-Loïc Garoche

Merge branch 'unstable' into salsa

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:
- arrow.ml* 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 https://cavale.enseeiht.fr/git/lustrec into unstable

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

Updated TODO
Changed selection of files in odocl

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

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

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

Recursive resolution of dependencies

95b6c290 03/09/2018 09:54 AM Pierre-Loïc Garoche

Merge branch 'unstable' into salsa

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

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

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

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

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.

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.

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

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

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

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

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

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

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

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