From 190782ef04b8f11fdfe579f43377a240cf9fb5fa Mon Sep 17 00:00:00 2001 From: jadep Date: Mon, 9 Jan 2017 10:51:13 -0500 Subject: shorten links in optimizations.md --- optimizations.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'optimizations.md') diff --git a/optimizations.md b/optimizations.md index af72dcd68..3191d6701 100644 --- a/optimizations.md +++ b/optimizations.md @@ -1,11 +1,11 @@ | Category | Name | Status | Lemma(s) | | |-----------------------|-------------------------------------|-------------------|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|------------------| -| Field Arithmetic | Unsaturated limbs/delayed carrying | Implemented | https://github.com/mit-plv/fiat-crypto/blob/master/src/ModularArithmetic/ModularBaseSystemProofs.v#L347 | | -| Field Arithmetic | Division-free Modular Reduction | Implemented | https://github.com/mit-plv/fiat-crypto/blob/master/src/ModularArithmetic/PseudoMersenneBaseParamProofs.v#L41 | | +| Field Arithmetic | Unsaturated limbs/delayed carrying | Implemented | [ModularBaseSystemProofs.v#L347](https://github.com/mit-plv/fiat-crypto/blob/master/src/ModularArithmetic/ModularBaseSystemProofs.v#L347) | | +| Field Arithmetic | Division-free Modular Reduction | Implemented | [PseudoMersenneBaseParamProofs.v#L41](https://github.com/mit-plv/fiat-crypto/blob/master/src/ModularArithmetic/PseudoMersenneBaseParamProofs.v#L41) | | | Field Arithmetic | Inverse square root | Not Implemented | n/a | | | Field Arithmetic | Hex Exponentiation | Not Implemented | n/a | | -| Field Arithmetic | Addition Chain Exponentiation | Implemented | https://github.com/mit-plv/fiat-crypto/blob/master/src/Util/AdditionChainExponentiation.v#L53 | | +| Field Arithmetic | Addition Chain Exponentiation | Implemented | [AdditionChainExponentiation.v#L53](https://github.com/mit-plv/fiat-crypto/blob/master/src/Util/AdditionChainExponentiation.v#L53) | | | Field Arithmetic | Precomputed Tables | Not Implemented | n/a | | -| Elliptic Curve Points | Extended Coordinates | Implemented | https://github.com/mit-plv/fiat-crypto/blob/master/src/CompleteEdwardsCurve/ExtendedCoordinates.v#L258 | | -| Elliptic Curve Points | Point Compression | Implemented | https://github.com/mit-plv/fiat-crypto/blob/master/src/Encoding/PointEncodingPre.v#L313 and https://github.com/mit-plv/fiat-crypto/blob/master/src/Encoding/PointEncodingPre.v#L412 | | -| Low-Level | Use Varied-size Registers | Half-Implemented | https://github.com/mit-plv/fiat-crypto/blob/master/src/Reflection/MapCastWithCastOp.v#L116 | | +| Elliptic Curve Points | Extended Coordinates | Implemented | [ExtendedCoordinates.v#L258](https://github.com/mit-plv/fiat-crypto/blob/master/src/CompleteEdwardsCurve/ExtendedCoordinates.v#L258) | | +| Elliptic Curve Points | Point Compression | Implemented | [PointEncodingPre.v#L412](https://github.com/mit-plv/fiat-crypto/blob/master/src/Encoding/PointEncodingPre.v#L313) and [PointEncodingPre.v#L412](https://github.com/mit-plv/fiat-crypto/blob/master/src/Encoding/PointEncodingPre.v#L412) | | +| Low-Level | Use Varied-size Registers | Half-Implemented | [MapCastWithCastOp.v#L116](https://github.com/mit-plv/fiat-crypto/blob/master/src/Reflection/MapCastWithCastOp.v#L116) | | -- cgit v1.2.3