Project

General

Profile

Revision:

Revisions

# Date Author Comment
f485f585 11/14/2013 12:15 PM Pierre-Loïc Garoche

- Renamed the only target of the generated makefile
- Solved bug: xor are now printed as bitwise xor in c : a ^ b and not a xor b.

53bdad2b 11/13/2013 07:23 PM Pierre-Loïc Garoche

New option -mcdc_cond generating conditions

7a47b44f 11/12/2013 11:20 PM Xavier Thirioux

- work in progress for interface typing

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

b878abe5 11/12/2013 11:20 PM Xavier Thirioux

- work in progress for interface typing

4cec0e67 11/08/2013 06:35 PM Pierre-Loïc Garoche

Ongoing work. Use previous version

4eada2bb 11/08/2013 11:15 AM Pierre-Loïc Garoche

Single mutation at a time
Gather int constants to perform constant replacement

Optimized the generation mechanism to avoid inifite run when the max number of mutant is reached.

b3381ae8 11/07/2013 07:03 PM Xavier Thirioux

- small bug correction in dimension typing
- #open keyword instead of open
- dummy generic matrix/vector library interface added
- modified examples according to the new syntax

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

accbb04d 11/07/2013 07:03 PM Xavier Thirioux

- small bug correction in dimension typing
- #open keyword instead of open
- dummy generic matrix/vector library interface added
- modified examples according to the new syntax

f30a2012 11/05/2013 04:21 PM Pierre-Loïc Garoche

Mutants generator for lustre

5c1184ad 10/22/2013 10:39 AM Pierre-Loïc Garoche

Merge (if it works) of the lustre interfaces branche providing lusi files into trunk

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

f22632aa 10/22/2013 10:39 AM Pierre-Loïc Garoche

Merge (if it works) of the lustre interfaces branche providing lusi files into trunk

261603bd 10/22/2013 10:37 AM Pierre-Loïc Garoche

infernal spiral of svn commit. trying (ultimately) to merge the branch into trunk

2dfed060 10/22/2013 10:28 AM Pierre-Loïc Garoche

Merging trunk into lustre interfaces branch

7bd3416a 10/22/2013 10:01 AM Pierre-Loïc Garoche

Lustre interfaces: lusi files are generated and used. Remaining work: create a good makefile and add the appropriate #include, fix issues with Arnaud's benchmarks (old syntax)

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

fdeaac38 10/22/2013 10:01 AM Pierre-Loïc Garoche

Lustre interfaces: lusi files are generated and used. Remaining work: create a good makefile and add the appropriate #include, fix issues with Arnaud's benchmarks (old syntax)

17abbe95 10/22/2013 10:01 AM Pierre-Loïc Garoche

Lustre interfaces: lusi files are generated and used. Remaining work: create a good makefile and add the appropriate #include, fix issues with Arnaud's benchmarks (old syntax)

28f970dc 10/22/2013 09:15 AM Pierre-Loïc Garoche

Lustre interfaces: lusi files are generated and used. Remaining work: create a good makefile and add the appropriate #include, fix issues with Arnaud's benchmarks (old syntax)

214db5e7 10/22/2013 09:12 AM Pierre-Loïc Garoche

Lustre interfaces: lusi files are generated and used. Remaining work: create a good makefile and add the appropriate #include

9c87e883 10/02/2013 08:18 AM Pierre-Loïc Garoche

Creating branch to reactivate the java backend - not compiling yet

22fe1c93 10/02/2013 08:13 AM Pierre-Loïc Garoche

Moved files to trunk in lustre_compiler

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

0cbf0839 10/02/2013 08:13 AM Pierre-Loïc Garoche

Moved files to trunk in lustre_compiler

866972d2 10/02/2013 08:05 AM Pierre-Loïc Garoche

Moved files to trunk in lustre_compiler

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

0f649de9 10/02/2013 08:05 AM Pierre-Loïc Garoche

Moved files to trunk in lustre_compiler

(1401-1423/1423) Per page: 25, 50, 100

Also available in: Atom