diff options
author | Jason Gross <jgross@mit.edu> | 2017-11-13 15:36:38 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-11-13 15:37:16 -0500 |
commit | 8a8afc11df5dfe4755b7dd4344b6a27d198bd2e1 (patch) | |
tree | deb91aff06fd31917b81ad10c085322af0e32b0f /README.md | |
parent | b2a1a0c0360ae4cb35f0bcfb34bb86b4734c4800 (diff) |
Update GeneralizeVar to ensure Wf
This will hopefully pave the way for not needing to prove Wf anywhere in
the bounds pipeline.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions