Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 4eada2bb

Name Size Revision Age Author Comment
  doc fdeaac38 over 7 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
  src 4eada2bb over 7 years Pierre-Loïc Garoche Single mutation at a time Gather int constants ...
  test f22632aa over 7 years Pierre-Loïc Garoche Merge (if it works) of the lustre interfaces br...
LICENSE-LGPL.txt 25.8 KB 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 702 Bytes 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
README.lustrec 802 Bytes 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_oasis 751 Bytes f30a2012 over 7 years Pierre-Loïc Garoche Mutants generator for lustre
_tags 477 Bytes f30a2012 over 7 years Pierre-Loïc Garoche Mutants generator for lustre
configure 132 Bytes 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
myocamlbuild.ml 12.7 KB 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
setup.ml 135 KB f30a2012 over 7 years Pierre-Loïc Garoche Mutants generator for lustre
svn_version.sh 371 Bytes 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
svnignore 103 Bytes 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

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

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

Mutants generator for lustre

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

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)

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

Moved files to trunk in lustre_compiler

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

Moved files to trunk in lustre_compiler

View all revisions | View revisions

Also available in: Atom