Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / tests / misc @ 6a93d814

Name Size Revision Age Author Comment
  _6counters_e8_371_e2_80 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  durationThm_3_e2_148 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
  durationThm_3_e2_63 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  durationThm_3_e3_207 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  durationThm_3_e3_442 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  durationThm_3_e3_442_e4_165 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  durationThm_3_e3_442_e5_260 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  ex3 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  ex3_e7_590_e7_590 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  ex3_e7_655 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  ex3_e8_381 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  ex3_e8_381_e7_224 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  ex3_e8_381_e8_477 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  stalmark cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  stalmark_e7_27 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  stalmark_e7_27_e7_31 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  stalmark_e7_76 cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  traffic cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
  two_counters cc9e1901 over 6 years Pierre-Loïc Garoche Added results of the first analysis
_6counters_e8_371_e2_80.lus 564 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
durationThm_3_e2_148.lus 505 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
durationThm_3_e2_63.lus 505 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
durationThm_3_e3_207.lus 503 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
durationThm_3_e3_442.lus 503 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
durationThm_3_e3_442_e4_165.lus 505 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
durationThm_3_e3_442_e5_260.lus 505 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ex3.lus 901 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ex3_e7_590_e7_590.lus 802 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ex3_e7_655.lus 803 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ex3_e8_381.lus 805 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ex3_e8_381_e7_224.lus 804 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ex3_e8_381_e8_477.lus 806 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
stalmark.lus 329 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
stalmark_e7_27.lus 339 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
stalmark_e7_27_e7_31.lus 338 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
stalmark_e7_76.lus 338 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ticket3i_1.lus 3.55 KB 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ticket3i_2.lus 3.59 KB 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ticket3i_3.lus 3.59 KB 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ticket3i_3_e7_1312_e8_1916.lus 3.54 KB 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ticket3i_3_e8_1703.lus 3.54 KB 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ticket3i_3_e8_1703_e8_2560.lus 3.55 KB 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ticket3i_3_e8_1788.lus 3.54 KB 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ticket3i_4.lus 3.57 KB 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ticket3i_5.lus 3.57 KB 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ticket3i_6.lus 3.57 KB 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ticket3i_7.lus 3.7 KB 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
ticket3i_all.lus 3.73 KB 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
traffic.lus 602 Bytes 2bdbbe54 over 6 years Guillaume Davy Add tests from fmcad with k annotation to new_b...
two_counters.lus 497 Bytes 105b3645 over 6 years Guillaume Davy Delete tests files that have no k

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

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

Delete tests files that have no k

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