Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/optim/oversampling/.frama-c @ 6a93d814

Name Size Revision Age Author Comment
frama_c_journal.ml 781 Bytes 6a93d814 about 7 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