diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-10-30 21:42:34 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-10-30 21:43:38 -0400 |
| commit | e3eacbc45d386ab309b159d394359ea9fc5dd247 (patch) | |
| tree | 9f4ef4e6efa7fd7ba43d4dcf41547c1177253638 /src/Testbit.v | |
| parent | f3640db250f55bdb8d9d379d078586349b03e856 (diff) | |
Fix some subtleties with equalities in point encodings
Diffstat (limited to 'src/Testbit.v')
0 files changed, 0 insertions, 0 deletions