projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6fdc62f) | patch
adding an extra cache check in the rewriter, speeds things a bit
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 28 Mar 2012 01:28:08 +0000 (01:28 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 28 Mar 2012 01:28:08 +0000 (01:28 +0000)
commit2eec05ba299532c663fffc4262467a9b6771c2c4
tree7db3b4148bcf22d69c1dcb493ec57b02ac2fbd52tree
parent6fdc62f34bb1d04b84dfd628ec16335b8f02385ecommit | diff
adding an extra cache check in the rewriter, speeds things a bit
http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=3828&category=&p=5&reference_id=3820
src/theory/rewriter.cpp diff | blob | history