Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / optim / oversampling / out / typed @ 6a93d814

Name Size Revision Age Author Comment
Axiomatic.v 8.96 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
Axiomatic.vo 39.3 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
Compound.v 1.25 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
Compound.vo 19.1 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
Globals.v 986 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
Globals.vo 18.6 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
S__arrow_mem_pack.v 753 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
S__arrow_mem_pack.vo 19.2 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
S__arrow_reg.v 710 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
S__arrow_reg.vo 19.1 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
S_f_mem_pack.v 910 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
S_f_mem_pack.vo 19.9 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
S_f_reg.v 679 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
S_f_reg.vo 19.1 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
S_g_mem_pack.v 1.03 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
S_g_mem_pack.vo 20.6 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
S_g_reg.v 679 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
S_g_reg.vo 19.1 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_reset_post.coq 1.13 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_reset_post_Coq.v 1.17 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_reset_post_Coq_Coq.out 195 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert.coq 1.48 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_2.coq 1.75 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_2_Coq.v 1.79 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_2_Coq_Coq.out 198 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_3.coq 2.09 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_3_Coq.v 2.12 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_3_Coq_Coq.out 198 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_4.coq 2.49 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_4_Coq.v 2.52 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_4_Coq_Coq.out 198 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_5.coq 2.8 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_5_Coq.v 2.83 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_5_Coq_Coq.out 198 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_6.coq 3.09 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_6_Coq.v 3.12 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_6_Coq_Coq.out 198 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_Coq.v 1.51 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_assert_Coq.vo 23.3 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_post.coq 3.37 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_post_Coq.v 3.4 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
f_step_post_Coq.vo 32.8 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_reset_call_f_reset_pre.coq 1.23 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_reset_call_f_reset_pre_Coq.v 1.26 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_reset_call_f_reset_pre_Coq_Coq.out 207 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_reset_post.coq 1.68 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_reset_post_Coq.v 1.71 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_reset_post_Coq_Coq.out 195 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert.coq 1.64 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_2.coq 1.95 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_2_Coq.v 1.98 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_2_Coq_Coq.out 198 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_3.coq 2.5 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_3_Coq.v 2.53 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_3_Coq_Coq.out 198 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_4.coq 2.92 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_4_Coq.v 2.95 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_4_Coq_Coq.out 198 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_5.coq 4.08 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_5_Coq.v 4.11 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_5_Coq_Coq.out 199 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_6.coq 4.4 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_6_Coq.v 4.43 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_6_Coq_Coq.out 199 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_7.coq 4.7 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_7_Coq.v 4.73 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_7_Coq_Coq.out 199 Bytes 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_Coq.v 1.67 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_assert_Coq.vo 24.5 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_call_f_step_pre.coq 3.11 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_call_f_step_pre_4.coq 3.17 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_call_f_step_pre_4_Coq.v 3.21 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_call_f_step_pre_Coq.v 3.14 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_post.coq 4.96 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_post_Coq.v 4.99 KB 6a93d814 over 6 years Xavier Thirioux added a directory optim/ dedicated to experimen...
g_step_post_Coq.vo 42.9 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