diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-10 13:10:14 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-10 13:29:07 -0500 |
| commit | eadff505b3e5a8cdc185fe424374ccba306103fd (patch) | |
| tree | 9f13dd3ca0a02437850b92e3569aeec663cb62b9 /src/Compilers/Named/Context.v | |
| parent | b9fe2a4024280b35b32cc4e532eaa0c820b3b14d (diff) | |
Use match in flat_interp_{,un}tuple'
This way, when we unfold them, we don't create multiple copies of the
argument. This is needed for proper reification of x25519 alternate
mul, square code in the new pipeline
Diffstat (limited to 'src/Compilers/Named/Context.v')
0 files changed, 0 insertions, 0 deletions