https://github.com/EasyCrypt/easycrypt
History
Tip revision: 863066bded664a5e2aba7f89c4fb7bc2afd0e28d authored by Pierre-Yves Strub on 23 September 2015, 08:28:02 UTC
Ring axioms of the `ring`/`field` tactics agree with the ones of `Ring.ec`
Tip revision: 863066b
File Mode Size
core
encryption
newth
prelude
realizations
ABitstring.ec -rw-r--r-- 4.0 KB
AWord.ec -rw-r--r-- 3.9 KB
AdvAbsVal.ec -rw-r--r-- 1.4 KB
AlgTactic.ec -rw-r--r-- 3.8 KB
Array.ec -rw-r--r-- 18.7 KB
Birthday.ec -rw-r--r-- 8.1 KB
Bitstring.ec -rw-r--r-- 3.2 KB
CyclicGroup.ec -rw-r--r-- 2.6 KB
Cyclic_group_prime.ec -rw-r--r-- 1.2 KB
Dice_sampling.ec -rw-r--r-- 5.7 KB
DiffieHellman.ec -rw-r--r-- 4.7 KB
Distr.ec -rw-r--r-- 10.1 KB
FSet.ec -rw-r--r-- 30.6 KB
Fun.ec -rw-r--r-- 9.3 KB
IRing.ec -rw-r--r-- 959 bytes
ISet.ec -rw-r--r-- 9.9 KB
Int.ec -rw-r--r-- 11.2 KB
List.ec -rw-r--r-- 17.9 KB
MAC.ec -rw-r--r-- 1.3 KB
Matrix.ec -rw-r--r-- 6.0 KB
Monoid.ec -rw-r--r-- 13.0 KB
Multiset.ec -rw-r--r-- 1.7 KB
OW.ec -rw-r--r-- 2.1 KB
Option.ec -rw-r--r-- 1.4 KB
OracleBounds.ec -rw-r--r-- 8.7 KB
PKE.ec -rw-r--r-- 2.2 KB
PKS.ec -rw-r--r-- 3.2 KB
PRF.eca -rw-r--r-- 2.1 KB
PRG.eca -rw-r--r-- 1.3 KB
PRP.eca -rw-r--r-- 4.3 KB
Pair.ec -rw-r--r-- 3.1 KB
Poly.ec -rw-r--r-- 5.7 KB
PrimeField.ec -rw-r--r-- 4.6 KB
Prime_field.ec -rw-r--r-- 3.8 KB
ROM.ec -rw-r--r-- 28.6 KB
Real.ec -rw-r--r-- 10.6 KB
Ring.ec -rw-r--r-- 12.6 KB
SecureChannels.ec -rw-r--r-- 2.2 KB
Sum.ec -rw-r--r-- 1.1 KB
SymmetricEncryption.ec -rw-r--r-- 2.8 KB
Word.ec -rw-r--r-- 3.2 KB
upto.ec -rw-r--r-- 4.9 KB

back to top