Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / optim @ 6a93d814

Name Size Revision Age Author Comment
  .frama-c 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
  clocks7 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
  oversampling 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
  wpdir 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
StreamsLib.glob 57.9 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
StreamsLib.v 18.1 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
StreamsLib.vo 125 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
TODO.org 267 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
lustre.glob 30.1 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
lustre.v 11.8 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
streams2_lus.v 22.6 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