Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  doc fdeaac38 over 10 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 0cbf0839 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
  src 9334747d over 10 years Pierre-Loïc Garoche Fixed bug on the main part
  test f1da5111 over 10 years Pierre-Loïc Garoche Updated version of test script: timeout for z3
LICENSE-LGPL.txt 25.8 KB 0cbf0839 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 702 Bytes 0cbf0839 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
README.lustrec 802 Bytes 0cbf0839 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_oasis 591 Bytes 0cbf0839 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_tags 322 Bytes 0cbf0839 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
configure 132 Bytes 0cbf0839 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
myocamlbuild.ml 12.7 KB 0cbf0839 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
setup.ml 133 KB 0cbf0839 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
svn_version.sh 371 Bytes 0cbf0839 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
svnignore 103 Bytes 0cbf0839 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
f1da5111 02/24/2014 04:47 PM Pierre-Loïc Garoche

Updated version of test script: timeout for z3

9334747d 02/24/2014 04:26 PM Pierre-Loïc Garoche

Fixed bug on the main part

433b1e6b 02/24/2014 11:48 AM Pierre-Loïc Garoche

Cleaning useless files

3e209698 02/24/2014 11:47 AM Pierre-Loïc Garoche

First fully working version of horn backend.

Has to be called with "-horn -node main_node"

The test script compute the smt2 file and calls z3 on them.

3a60ec17 02/24/2014 11:25 AM Pierre-Loïc Garoche

...

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

View all revisions | View revisions

Also available in: Atom