From 689bd71a2a5afd5ce652ff123252f163f5047b74 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 26 Jun 2017 00:34:03 -0400 Subject: Add nonzero synthesis --- src/Arithmetic/Core.v | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Arithmetic/Core.v') diff --git a/src/Arithmetic/Core.v b/src/Arithmetic/Core.v index 5794659da..457a85a98 100644 --- a/src/Arithmetic/Core.v +++ b/src/Arithmetic/Core.v @@ -307,6 +307,8 @@ Definition runtime_and := Z.land. Global Notation "a &' b" := (runtime_and a%RT b%RT) : runtime_scope. Definition runtime_shr := Z.shiftr. Global Notation "a >> b" := (runtime_shr a%RT b%RT) : runtime_scope. +Definition runtime_lor := Z.lor. +Global Arguments runtime_lor (_ _)%RT. Module B. Definition limb := (Z*Z)%type. (* position coefficient and run-time value *) -- cgit v1.2.3