diff options
author | Jason Gross <jasongross9@gmail.com> | 2018-02-11 16:01:09 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-11 16:01:09 -0500 |
commit | 64b036f97cb497aa88b3b448d47a8cc017373896 (patch) | |
tree | d5ef95fc2a71b9de68b33579e710353fd916ee8b /src/Util/Pos.v | |
parent | f89337f19ad7d4561d0b265e1d32fd21fc2d1cde (diff) |
[Work in Progress] Experiment with Bounds Analysis based on lists (#305)
* Initial work
* Respond to code review comments
* Add x25519_32, commented out for speed
* Remove outdated comment
* Add another unfolding thing to make 2^127-1 with (_ + 1/3)%Q work
* Use vm_compute in one place where it's faster
Diffstat (limited to 'src/Util/Pos.v')
0 files changed, 0 insertions, 0 deletions