| Branch: | Tag: | Revision:

lustrec / src / @ 6cfa0edc

History | View | Annotate | Download (26.8 KB)

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

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

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

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

[lustret] improved enumeration of mutants

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)

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.

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

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

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

[lustret] Improved mutation with json traceability

2fdbc781 04/27/2017 10:42 PM Pierre-Loïc Garoche

Cleaning output:
- no more classic display for ocamlc
- compilation warnings removed

bde99c3f 04/06/2017 04:27 PM Xavier Thirioux

This is the first merge that does compile. Not tested yet.

40d33d55 04/05/2017 04:53 PM Xavier Thirioux

first version (doesn't even compile) of mutation and test generation standalone command: lustret
mostly a recovery of an ancient svn repo: mutations