aboutsummaryrefslogtreecommitdiff
path: root/src/Specific
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2017-05-17 01:21:09 -0400
committerGravatar Jason Gross <jgross@mit.edu>2017-05-17 01:21:09 -0400
commit57ddc251461ed5806e6f2fd2c98a6555f18f58fe (patch)
tree9db463e03f38b99d47371b39d9ff84e988bfee5e /src/Specific
parentd78394969467348ea2d41393d98e7559a208cb28 (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