diff options
| author |  Jade Philipoom <jadep@google.com> | 2018-04-11 17:46:52 +0200 |
|---|---|---|
| committer | Jade Philipoom <jadep@google.com> | 2018-04-11 17:46:52 +0200 |
| commit | 7390f15dc735997a846196390f402edda192ff34 (patch) | |
| tree | 77932689b26e0e147572fc94366afaad6a72c3bd /_CoqProject | |
| parent | 0d2f18249f65211ad6fe318e193bfdf43d244303 (diff) | |
Add new assembly-mimicking operations rshi, cc_m, and cc_l
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 4e5f33519..faecc2fbf 100644 --- a/_CoqProject +++ b/_CoqProject @@ -6567,6 +6567,7 @@ src/Util/ZRange/CornersMonotoneBounds.v src/Util/ZRange/Operations.v src/Util/ZUtil/AddGetCarry.v src/Util/ZUtil/AddModulo.v +src/Util/ZUtil/CC.v src/Util/ZUtil/CPS.v src/Util/ZUtil/Definitions.v src/Util/ZUtil/Div.v @@ -6582,6 +6583,7 @@ src/Util/ZUtil/Notations.v src/Util/ZUtil/Peano.v src/Util/ZUtil/Pow2Mod.v src/Util/ZUtil/Quot.v +src/Util/ZUtil/Rshi.v src/Util/ZUtil/Sgn.v src/Util/ZUtil/Stabilization.v src/Util/ZUtil/Tactics.v |