| Branch: | Tag: | Revision:

lustrec / src / @ ccd386cb

History | View | Annotate | Download (1.67 KB)

# Date Author Comment
92c6cca7 11/17/2018 04:54 AM Pierre-Loïc Garoche

Merge branch 'lustrec-seal' into vhdl

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.

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

Merge branch 'vhdl' of into lustrec-seal

090baab6 06/01/2018 10:02 AM Pierre-Loïc Garoche

Compiling - while doing nothing :)

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.

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

[lustresf] lustresf targets are optional in Makefiles (see

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

json-parser: prepare tests in Makefiles and

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

json-parser: clean files names and directories

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

parser-json: first steps to integrate JSON parser

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

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

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

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

04a63d25 08/06/2016 10:29 AM Xavier Thirioux

full merge of salsa/mpfr and master

40875a30 12/10/2014 11:14 AM Pierre-Loïc Garoche

Added an install target in the src folder

git-svn-id: 041b043f-8d7c-46b2-b46e-ef0dd855326e

e8b6d5ca 12/09/2014 01:41 PM Pierre-Loïc Garoche

Moved Makefile into src folder

git-svn-id: 041b043f-8d7c-46b2-b46e-ef0dd855326e