aboutsummaryrefslogtreecommitdiff
path: root/src/BoundedArithmetic/Eta.v
Commit message (Collapse)AuthorAge
* Revert "Eta-expand pairs in Eta.v"Gravatar Jason Gross2016-10-13
| | | | | | | | | This reverts commit 778c1906711f68bed5760710712bb16eeb9c2365. It's not particularly useful, I think, and might be counterproductive; most of the unfolded pair projections in x86 are applied to variables, not instructions, and some instructions don't have pair projections directly applied to them.
* Eta-expand pairs in Eta.vGravatar Jason Gross2016-10-13
|
* Unfold more things in etaGravatar Jason Gross2016-10-13
|
* Add src/BoundedArithmetic/Eta.vGravatar Jason Gross2016-10-13