Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/scripts @ 6a93d814

Name Size Revision Age Author Comment
footer_tex.tex 15 Bytes a06b22fd over 7 years Pierre-Loïc Garoche Moved scripts here
gen_contracts.py 4.63 KB a06b22fd over 7 years Pierre-Loïc Garoche Moved scripts here
gen_reports.sh 4.26 KB 6a93d814 about 7 years Xavier Thirioux added a directory optim/ dedicated to experimen...
gen_reports.sh~ 4 KB a06b22fd over 7 years Pierre-Loïc Garoche Moved scripts here
header_tex.tex 64 Bytes a06b22fd over 7 years Pierre-Loïc Garoche Moved scripts here
lustrec_report.report 344 Bytes 08bbd713 over 7 years Pierre-Loïc Garoche uploaded scripts
lustrec_report_tex.report 337 Bytes e5d5c450 over 7 years Pierre-Loïc Garoche Mem limit + issues with log and pdflatex log
show_result.sh 472 Bytes cc9e1901 over 7 years Pierre-Loïc Garoche Added results of the first analysis

Latest revisions

# Date Author Comment
6a93d814 04/09/2015 01:24 PM Xavier Thirioux

added a directory optim/ dedicated to experiments about injecting/proving ACSL spec into optimized programs.
cc9e1901 12/26/2014 10:18 PM Pierre-Loïc Garoche

Added results of the first analysis
08bbd713 12/23/2014 08:03 AM Pierre-Loïc Garoche

uploaded scripts
e5d5c450 12/23/2014 07:25 AM Pierre-Loïc Garoche

Mem limit + issues with log and pdflatex log
13b22bd5 12/22/2014 10:21 PM Pierre-Loïc Garoche

Solved some bugs in the scripts: invalid path for report style files and blocking pdflatex
a06b22fd 12/22/2014 04:28 PM Pierre-Loïc Garoche

Moved scripts here

View revisions

Also available in: Atom