K 25
svn:wc:ra_dav:version-url
V 66
/svnroot/stp-fast-prover/!svn/ver/653/trunk/stp/tests/crypto-tests
END
tea_three_round_two_var_half_key.stp
K 25
svn:wc:ra_dav:version-url
V 103
/svnroot/stp-fast-prover/!svn/ver/653/trunk/stp/tests/crypto-tests/tea_three_round_two_var_half_key.stp
END
tea_two_round_two_var.stp
K 25
svn:wc:ra_dav:version-url
V 92
/svnroot/stp-fast-prover/!svn/ver/653/trunk/stp/tests/crypto-tests/tea_two_round_two_var.stp
END
tea_four_round_two_var_half_key.stp
K 25
svn:wc:ra_dav:version-url
V 102
/svnroot/stp-fast-prover/!svn/ver/653/trunk/stp/tests/crypto-tests/tea_four_round_two_var_half_key.stp
END
tea.pl
K 25
svn:wc:ra_dav:version-url
V 73
/svnroot/stp-fast-prover/!svn/ver/650/trunk/stp/tests/crypto-tests/tea.pl
END
tea_three_round_one_var.stp
K 25
svn:wc:ra_dav:version-url
V 94
/svnroot/stp-fast-prover/!svn/ver/653/trunk/stp/tests/crypto-tests/tea_three_round_one_var.stp
END
t4_nadia_n1.stp
K 25
svn:wc:ra_dav:version-url
V 82
/svnroot/stp-fast-prover/!svn/ver/456/trunk/stp/tests/crypto-tests/t4_nadia_n1.stp
END
t4_nadia.stp
K 25
svn:wc:ra_dav:version-url
V 79
/svnroot/stp-fast-prover/!svn/ver/434/trunk/stp/tests/crypto-tests/t4_nadia.stp
END
tea_four_round_one_var.stp
K 25
svn:wc:ra_dav:version-url
V 93
/svnroot/stp-fast-prover/!svn/ver/653/trunk/stp/tests/crypto-tests/tea_four_round_one_var.stp
END
1024_bit_prime_1s_only.stp
K 25
svn:wc:ra_dav:version-url
V 93
/svnroot/stp-fast-prover/!svn/ver/650/trunk/stp/tests/crypto-tests/1024_bit_prime_1s_only.stp
END
tea_four_round_one_var_half_key.stp
K 25
svn:wc:ra_dav:version-url
V 102
/svnroot/stp-fast-prover/!svn/ver/653/trunk/stp/tests/crypto-tests/tea_four_round_one_var_half_key.stp
END
t3.stp
K 25
svn:wc:ra_dav:version-url
V 73
/svnroot/stp-fast-prover/!svn/ver/434/trunk/stp/tests/crypto-tests/t3.stp
END
t4.stp
K 25
svn:wc:ra_dav:version-url
V 73
/svnroot/stp-fast-prover/!svn/ver/436/trunk/stp/tests/crypto-tests/t4.stp
END
t5.stp
K 25
svn:wc:ra_dav:version-url
V 73
/svnroot/stp-fast-prover/!svn/ver/456/trunk/stp/tests/crypto-tests/t5.stp
END
rsa_1024_bit_prime_1s_only.stp
K 25
svn:wc:ra_dav:version-url
V 97
/svnroot/stp-fast-prover/!svn/ver/653/trunk/stp/tests/crypto-tests/rsa_1024_bit_prime_1s_only.stp
END
t3_flat.stp
K 25
svn:wc:ra_dav:version-url
V 78
/svnroot/stp-fast-prover/!svn/ver/467/trunk/stp/tests/crypto-tests/t3_flat.stp
END
t4_flat.stp
K 25
svn:wc:ra_dav:version-url
V 78
/svnroot/stp-fast-prover/!svn/ver/436/trunk/stp/tests/crypto-tests/t4_flat.stp
END
rsa_97_bit_prime.stp
K 25
svn:wc:ra_dav:version-url
V 87
/svnroot/stp-fast-prover/!svn/ver/653/trunk/stp/tests/crypto-tests/rsa_97_bit_prime.stp
END
rsa_97_bit_prime_1s_only.stp
K 25
svn:wc:ra_dav:version-url
V 95
/svnroot/stp-fast-prover/!svn/ver/653/trunk/stp/tests/crypto-tests/rsa_97_bit_prime_1s_only.stp
END
tea_four_round_two_var_tea.stp
K 25
svn:wc:ra_dav:version-url
V 97
/svnroot/stp-fast-prover/!svn/ver/653/trunk/stp/tests/crypto-tests/tea_four_round_two_var_tea.stp
END
tea_three_round_two_var.stp
K 25
svn:wc:ra_dav:version-url
V 94
/svnroot/stp-fast-prover/!svn/ver/653/trunk/stp/tests/crypto-tests/tea_three_round_two_var.stp
END
