From 9aaac03f6c5be0f804ed1d996d52fcefb1e57944 Mon Sep 17 00:00:00 2001 From: Robert Sloan Date: Fri, 14 Oct 2016 15:58:27 -0700 Subject: Use 64-bit limbs in Pipelines --- src/Assembly/GF25519.v | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Assembly') diff --git a/src/Assembly/GF25519.v b/src/Assembly/GF25519.v index 081ddc008..84e692424 100644 --- a/src/Assembly/GF25519.v +++ b/src/Assembly/GF25519.v @@ -6,8 +6,8 @@ Require Import Crypto.Specific.GF25519. Require Import Crypto.Util.Tuple. Module GF25519. - Definition bits: nat := 32. - Definition width: Width bits := W32. + Definition bits: nat := 64. + Definition width: Width bits := W64. Fixpoint makeBoundList {n} k (b: @WordRangeOpt n) := match k with -- cgit v1.2.3