diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-09-11 22:59:12 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-09-14 11:16:50 -0400 |
| commit | a3a077040a311f32199c86700a463a5cf661b76a (patch) | |
| tree | 592bfc8ebadadbc20c0c947470cfbb0bfb563a80 /src/Specific/solinas32_2e141m9_6limbs/freeze.v | |
| parent | 5d4034c2f65ba24a53f554167c1159d36d9e2561 (diff) | |
Finish interp proof of abstract interpretation
This was an enormous pain, because although we don't actually
bounds-analyze higher-order functions, we need to make sure that we
discard the bounds information about them in exactly the same way in
multiple places.
Diffstat (limited to 'src/Specific/solinas32_2e141m9_6limbs/freeze.v')
0 files changed, 0 insertions, 0 deletions