https://github.com/EasyCrypt/easycrypt
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`
Ring axioms of the `ring`/`field` tactics agree with the ones of `Ring.ec`
Tip revision: 863066b
File | Mode | Size |
---|---|---|
distributions | ||
rom | ||
ske | ||
BitWord.eca | -rw-r--r-- | 2.9 KB |
FinType.eca | -rw-r--r-- | 568 bytes |
IntDiv.ec | -rw-r--r-- | 2.5 KB |
IntExtra.ec | -rw-r--r-- | 1.7 KB |
NewBigalg.eca | -rw-r--r-- | 1.5 KB |
NewBigop.eca | -rw-r--r-- | 16.7 KB |
NewDistr.ec | -rw-r--r-- | 5.9 KB |
NewFMap.ec | -rw-r--r-- | 25.9 KB |
NewFSet.ec | -rw-r--r-- | 15.5 KB |
NewList.ec | -rw-r--r-- | 53.8 KB |
NewLogic.ec | -rw-r--r-- | 7.8 KB |
NewMap.ec | -rw-r--r-- | 527 bytes |
NewMonoid.eca | -rw-r--r-- | 1.4 KB |
NewNumber.eca | -rw-r--r-- | 16.1 KB |
NewPRF.eca | -rw-r--r-- | 1.8 KB |
NewPRP.eca | -rw-r--r-- | 1.9 KB |
NewWord.eca | -rw-r--r-- | 4.4 KB |
Quotient.eca | -rw-r--r-- | 2.0 KB |
RealExtra.ec | -rw-r--r-- | 970 bytes |
RealSeq.ec | -rw-r--r-- | 2.5 KB |
RealSeries.ec | -rw-r--r-- | 783 bytes |
StdBigop.ec | -rw-r--r-- | 1.6 KB |
StdOrder.ec | -rw-r--r-- | 1.6 KB |
StdRing.ec | -rw-r--r-- | 1.9 KB |
Subtype.eca | -rw-r--r-- | 3.5 KB |
ZModP.eca | -rw-r--r-- | 4.2 KB |