Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / optim / oversampling @ 6a93d814

Name Size Revision Age Author Comment
  .frama-c 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
  out 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
oversampling0.c 1.3 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
oversampling0.h 735 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
oversampling0.lus 438 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
oversampling0_1.c 13.4 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
oversampling0_2.c 14.2 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
oversampling0_3.c 14.4 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
oversampling0_4.c 14.4 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
oversampling0_alloc.h 1.11 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
oversampling0_denot.h 295 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
streams2_lus.v 17.8 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
streams_acsl.c 34 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
streams_acsl.h 5.61 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
streams_acsl_2.h 927 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
streams_acsl_3.h 1.01 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
streams_lus.v 13 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
wp0.script 119 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
wp1.script 119 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
wp2.script 119 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
wp3.script 119 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
wp4.script 114 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
wp5.script 100 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
wp6.script 114 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
wp7.script 114 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
wp8.script 114 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
wp9.script 6.46 KB 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.

View revisions

Also available in: Atom