Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / Makefile.in @ 0d79d0f3

History | View | Annotate | Download (1.61 KB)

# Date Author Comment
b0c381d0 07/12/2018 04:04 PM Pierre-Loïc Garoche

Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec 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 configure.ac)
2511454c 10/10/2017 05:30 PM Christophe Garion

json-parser: prepare tests in Makefiles and _tags.in
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: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@386 041b043f-8d7c-46b2-b46e-ef0dd855326e
e8b6d5ca 12/09/2014 01:41 PM Pierre-Loïc Garoche

Moved Makefile into src folder

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@382 041b043f-8d7c-46b2-b46e-ef0dd855326e