From 7df5033c871aef6172d4e98d42ce00005e24f73e Mon Sep 17 00:00:00 2001 From: jadep Date: Sun, 14 May 2017 15:52:56 -0400 Subject: add wrapper for add_get_carry and proofs for add_get_carry and zselect --- _CoqProject | 1 + 1 file changed, 1 insertion(+) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index f65bc9e84..4e3d52282 100644 --- a/_CoqProject +++ b/_CoqProject @@ -328,6 +328,7 @@ src/Util/ZUtil/Tactics/SimplifyFractionsLe.v src/Util/ZUtil/Tactics/ZeroBounds.v src/Util/ZUtil/Tactics/Ztestbit.v src/Util/ZUtil/Tactics/PullPush/Modulo.v +src/Util/ZUtil/Zselect.v src/Util/ZUtil/ZSimplify/Autogenerated.v src/Util/ZUtil/ZSimplify/Core.v src/Util/ZUtil/ZSimplify/Simple.v -- cgit v1.2.3