projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91868e7) | 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)
commitc99ddfc43de7d69d903d150a8d372b020371d49a
tree701cb73a2cd33ae1b7d0cfd11ec72388708bb063tree
parent91868e7df07185de4cf5511203009779d3463416commit | 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
This is the main PostgreSQL git repository.