diff options
author | Jason Gross <jagro@google.com> | 2016-09-16 14:10:34 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-09-16 14:36:11 -0700 |
commit | d69661159ba18e05815e442d727e20b05b4343ad (patch) | |
tree | c80941e4e6ee50fcf805a585dc9b093b12145578 /src/Spec/ModularArithmetic.v | |
parent | 314fa69fe5512d3b23f160b87f412d537e061903 (diff) |
Generalize InlineConst
Should now support constant subexpression evaluation (removing things
like (_ + 0)).
Diffstat (limited to 'src/Spec/ModularArithmetic.v')
0 files changed, 0 insertions, 0 deletions