diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-03-30 16:13:30 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-03-30 16:14:09 -0400 |
| commit | ed52d20599b1552995c4ad39f2cc6c09f0521e7c (patch) | |
| tree | 32182ad74b9c2913ef3de074e266bd930d7f5563 /_CoqProject | |
| parent | 445ff49ade0fd19c81d954f035394aae561d0958 (diff) | |
Rename Bounds to ZRange, use Prop, not bool
As per @andres-erbsen's comments at
https://github.com/mit-plv/fiat-crypto/commit/ba864554da71ebe20b2494b1e8adf04779cd904b#commitcomment-21565223,
https://github.com/mit-plv/fiat-crypto/commit/ba864554da71ebe20b2494b1e8adf04779cd904b#commitcomment-21565200
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 91d40c89c..23236fd4a 100644 --- a/_CoqProject +++ b/_CoqProject @@ -468,7 +468,6 @@ src/Test/Curve25519SpecTestVectors.v src/Util/AdditionChainExponentiation.v src/Util/AutoRewrite.v src/Util/Bool.v -src/Util/Bounds.v src/Util/CPSUtil.v src/Util/CaseUtil.v src/Util/Curry.v @@ -505,6 +504,7 @@ src/Util/Tower.v src/Util/Tuple.v src/Util/Unit.v src/Util/WordUtil.v +src/Util/ZRange.v src/Util/ZUtil.v src/Util/Tactics/BreakMatch.v src/Util/Tactics/DestructHead.v |