diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-05-14 15:52:56 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-05-14 15:56:56 -0400 |
| commit | 7df5033c871aef6172d4e98d42ce00005e24f73e (patch) | |
| tree | c858b22c861885a5f76d648afb2b102f7fc89662 /_CoqProject | |
| parent | 7e3d941510ad65ea712f608a9e0b2a19437e9e84 (diff) | |
add wrapper for add_get_carry and proofs for add_get_carry and zselect
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
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 |