Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 4f3cc9f3

Name Size Revision Age Author Comment
  doc fdeaac38 about 7 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
  src 4f3cc9f3 over 6 years Pierre-Loïc Garoche Is it working?
  test 7bc15356 over 6 years Pierre-Loïc Garoche lego robot example
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 591 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_tags 322 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
configure 132 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
ex3.smt2 6.63 KB 4f3cc9f3 over 6 years Pierre-Loïc Garoche Is it working?
ex3_correct.smt2 6.55 KB 4f3cc9f3 over 6 years Pierre-Loïc Garoche Is it working?
ex3_pourri.smt2 6.67 KB c0003810 over 6 years Pierre-Loïc Garoche Working on bugs
myocamlbuild.ml 12.7 KB 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
setup.ml 133 KB 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
svn_version.sh 371 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
svnignore 103 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
4f3cc9f3 02/24/2014 10:50 AM Pierre-Loïc Garoche

Is it working?

c0003810 02/24/2014 09:46 AM Pierre-Loïc Garoche

Working on bugs

3a9e1fe8 02/21/2014 05:34 PM Pierre-Loïc Garoche

Manually corrected version of ex3. Should integrate the modifications

40f8d0f9 02/21/2014 05:11 PM Pierre-Loïc Garoche

Second (almost) working version

faa5e5c5 02/21/2014 04:39 PM Pierre-Loïc Garoche

First (almost) working version

fc7a01ce 02/21/2014 12:42 PM Pierre-Loïc Garoche

Ongoing ...

23bdf881 02/21/2014 12:38 PM Pierre-Loïc Garoche

Ongoing ...

04a7df69 02/21/2014 08:37 AM Pierre-Loïc Garoche

In the middle of the coding process. Just pushing thinks

aa6b7d46 02/20/2014 06:45 AM Pierre-Loïc Garoche

The missing file

f6923c9e 02/19/2014 05:02 PM Pierre-Loïc Garoche

Initial copy of the horn output version. Not really working yet

View all revisions | View revisions

Also available in: Atom