projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 914dc99) | patch
fix beta reduction in both preRewrite() *and* postRewrite(), related to bug 417....
authorMorgan Deters <mdeters@gmail.com>
Tue, 9 Oct 2012 11:58:08 +0000 (11:58 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 9 Oct 2012 11:58:08 +0000 (11:58 +0000)
commitbdaa3049467fd17d3fb95701f7946a4bf0f5206a
tree7b770e107d3a625f266381141d3489cc23fecafetree
parent914dc99c1b89cf7203dc20296e8279786af202f9commit | diff
fix beta reduction in both preRewrite() *and* postRewrite(), related to bug 417.  oops.  also fix spelling on "rewritting" test
src/theory/uf/theory_uf_rewriter.h diff | blob | history
test/regress/regress0/rewriterules/Makefile.am diff | blob | history
test/regress/regress0/rewriterules/simulate_rewriting.smt2 [new file with mode: 0644] blob
test/regress/regress0/rewriterules/simulate_rewritting.smt2 [deleted file] blob | history