Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ ad6b7375

Name Size Revision Age Author Comment
  doc b38ffff3 about 6 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 5ae8db15 almost 6 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 76b2936d almost 6 years Eric Noulard Properly handle generated files
  src ad6b7375 over 5 years Teme Kahsai small logging change
  test 4f4a77a4 over 5 years Xavier Thirioux some tiny mistakes corrected...
.gitignore 93 Bytes 545772c4 over 5 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 165 Bytes 330b42e3 over 5 years Pierre-Loïc Garoche Add teme
LICENSE-LGPL.txt 25.8 KB 0cbf0839 almost 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile.in 1.44 KB 8958262e over 5 years Pierre-Loïc Garoche Cleaning lusic when installing
README.lustrec 991 Bytes 3a958c40 over 5 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 172 Bytes f8b3de19 over 5 years Pierre-Loïc Garoche horn queries back
TODO.org 1.13 KB 0cbf0839 almost 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
configure.ac 3.21 KB 00b2c9f8 over 5 years Pierre-Loïc Garoche Post Xia dev
lustrec.odocl 623 Bytes 24d59df8 almost 6 years Pierre-Loïc Garoche Doc file
setup.ml 153 KB 95763423 almost 6 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 0cbf0839 almost 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
ad6b7375 05/05/2015 07:30 PM Teme Kahsai

small logging change

7a442071 05/05/2015 03:47 PM Pierre-Loïc Garoche

Bug fixed for horn traces option with stateful asserts

5fe9fe22 05/05/2015 01:29 AM Teme Kahsai

changed name from -horn-queries to -horn-query

9c4624e4 05/05/2015 01:17 AM Teme Kahsai

do not use lusi for horn, and some logging for horn

b3b0dd56 05/04/2015 08:13 AM Xavier Thirioux

corrected a small bug when -horn option was active

e24b2e9b 04/13/2015 10:08 AM Xavier Thirioux

some optimization in code optimization !!

5f31b494 04/09/2015 10:57 PM Xavier Thirioux

corrected a bug when activating optimization (-O 3) (edge missing in a dep graph)

3a958c40 04/08/2015 11:04 PM Xavier Thirioux

updated version of README.lustrec about how to install lustrec and how to compile.

4f4a77a4 04/08/2015 11:01 PM Xavier Thirioux

some tiny mistakes corrected...

b3543e39 04/08/2015 10:43 PM Xavier Thirioux

some cosmetic changes in error messages when loading libraries

View all revisions | View revisions

Also available in: Atom