Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 43a2cae9

Name Size Revision Age Author Comment
  bench 43a2cae9 over 6 years Pierre-Loïc Garoche Pushing some benchs
  doc fdeaac38 about 7 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 14ebde97 over 6 years Xavier Thirioux improved code generation by factorizing out arrows
  scripts 6423979f over 6 years Pierre-Loïc Garoche update on script
  src b7c58c24 over 6 years Pierre-Loïc Garoche iMinor modifs + improved script
  test df924fb3 over 6 years Pierre-Loïc Garoche Cleaning example files Tiny optimization.
LICENSE-LGPL.txt 25.8 KB 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 702 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
README.lustrec 802 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_oasis 814 Bytes c6acbdaa over 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
_tags 477 Bytes f30a2012 almost 7 years Pierre-Loïc Garoche Mutants generator for lustre
configure 132 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
myocamlbuild.ml 12.7 KB 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
setup.ml 135 KB c6acbdaa over 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svn_version.sh 558 Bytes c6acbdaa over 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svnignore 103 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
43a2cae9 03/20/2014 01:23 AM Pierre-Loïc Garoche

Pushing some benchs

6423979f 03/20/2014 12:53 AM Pierre-Loïc Garoche

update on script

b7c58c24 03/19/2014 11:46 PM Pierre-Loïc Garoche

iMinor modifs + improved script

d5a5678c 03/17/2014 11:42 PM Pierre-Loïc Garoche

Separated generation from compilation for mutants

5cab37f0 03/17/2014 11:03 PM Pierre-Loïc Garoche

New version of the script: gen new tests

d9970c39 03/17/2014 10:42 PM Pierre-Loïc Garoche

no rename

1e6a908f 03/17/2014 10:21 PM Pierre-Loïc Garoche

Missing file

78b04ee1 03/17/2014 10:04 PM Pierre-Loïc Garoche

Merged with trunk

04555efc 03/17/2014 08:52 PM Pierre-Loïc Garoche

Missing file Mmap

df924fb3 03/17/2014 08:50 PM Pierre-Loïc Garoche

Cleaning example files
Tiny optimization.

View all revisions | View revisions

Also available in: Atom