Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / optim / wpdir / typed / toto_step_assert_16_Alt-Ergo.out @ 6a93d814

History | View | Annotate | Download (100 Bytes)

# 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.