Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / tests @ 6a93d814

Name Size Revision Age Author Comment
  large 105b3645 over 6 years Guillaume Davy Delete tests files that have no k
  memory1 105b3645 over 6 years Guillaume Davy Delete tests files that have no k
  memory2 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  misc 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
  protocol 105b3645 over 6 years Guillaume Davy Delete tests files that have no k
  simulation cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
log 86.3 KB 105b3645 over 6 years Guillaume Davy Delete tests files that have no k
worklist.parallel 16.3 KB cc9e1901 over 6 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

94a4b867 12/22/2014 04:28 PM Pierre-Loïc Garoche

worklist for parallel

6bc919cb 12/19/2014 11:04 PM Guillaume Davy

Move gen_contracts.py

105b3645 12/19/2014 10:50 PM Guillaume Davy

Delete tests files that have no k

995bfad5 12/18/2014 02:45 PM Guillaume Davy

Add the script used to add k annotation to tests.

2bdbbe54 12/18/2014 02:40 PM Guillaume Davy

Add tests from fmcad with k annotation to new_backend branch

View revisions

Also available in: Atom