Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ArchitectureToZLike.v | 1643 | logplain |
-rw-r--r-- | ArchitectureToZLikeProofs.v | 5206 | logplain |
-rw-r--r-- | BarretReduction.v | 4132 | logplain |
-rw-r--r-- | BaseSystem.v | 1797 | logplain |
-rw-r--r-- | BaseSystemProofs.v | 4274 | logplain |
d--------- | Double | 67 | logplain |
-rw-r--r-- | Interface.v | 19192 | logplain |
-rw-r--r-- | InterfaceProofs.v | 9199 | logplain |
-rw-r--r-- | MontgomeryReduction.v | 5477 | logplain |
-rw-r--r-- | Pow2Base.v | 694 | logplain |
-rw-r--r-- | Pow2BaseProofs.v | 25893 | logplain |
-rw-r--r-- | README.md | 197 | logplain |
-rw-r--r-- | VerdiTactics.v | 13462 | logplain |
-rw-r--r-- | ZBounded.v | 9414 | logplain |
-rw-r--r-- | ZBoundedZ.v | 3257 | logplain |