diff options
author | Jason Gross <jgross@mit.edu> | 2017-05-17 01:21:09 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-05-17 01:21:09 -0400 |
commit | 57ddc251461ed5806e6f2fd2c98a6555f18f58fe (patch) | |
tree | 9db463e03f38b99d47371b39d9ff84e988bfee5e /src/Specific | |
parent | d78394969467348ea2d41393d98e7559a208cb28 (diff) |
Allow specifying pipeline options at call-time
For now, the only option is anormal-form. This will be needed for
freeze, because the adc optimization doesn't work when not in anf.
Diffstat (limited to 'src/Specific')
0 files changed, 0 insertions, 0 deletions