projects / users / simon / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d378259) | patch
Enable btree_predicate_proof() to make proofs involving cross-data-type
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 28 Dec 2006 19:53:05 +0000 (19:53 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 28 Dec 2006 19:53:05 +0000 (19:53 +0000)
commitedf73f2ee39316e3a2dda8be4d24c61176314bd2
tree56786815c4d484cb89a4a4e81ea071b58ee556cctree
parentd378259dc69f91ad8e770278c62c6baece133d2dcommit | diff
Enable btree_predicate_proof() to make proofs involving cross-data-type
predicate operators.  The hard stuff turns out to be already done in the
previous commit, we need merely open the floodgates...
src/backend/optimizer/util/predtest.c diff | blob | blame | history
Simon's dev repository