Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / tests / misc / durationThm_3_e2_148 @ 6a93d814

Name Size Revision Age Author Comment
durationThm_3_e2_148_pdf.pdf 43.9 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
durationThm_3_e2_148_report.report 5.68 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
durationThm_3_e2_148_report_short.report 915 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...

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

View revisions

Also available in: Atom