git.postgresql.org Git - postgresql.git/commit

git projects / postgresql.git / commit

Enable btree_predicate_proof() to make proofs involving cross-data-type

author Tom Lane <tgl@sss.pgh.pa.us>

2006年12月28日 19:53:05 +0000 (19:53 +0000)

committer Tom Lane <tgl@sss.pgh.pa.us>

2006年12月28日 19:53:05 +0000 (19:53 +0000)

commit c99ddfc43de7d69d903d150a8d372b020371d49a

tree 701cb73a2cd33ae1b7d0cfd11ec72388708bb063 tree

parent 91868e7df07185de4cf5511203009779d3463416 commit | 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.

RSS Atom