Skip site navigation (1)
Skip section navigation (2)
Peripheral Links
Header And Logo
|
Site Navigation
pgsql: Enable btree_predicate_proof() to make proofs involving
- From: tgl(at)postgresql(dot)org (Tom Lane)
- To: pgsql-committers(at)postgresql(dot)org
- Subject: pgsql: Enable btree_predicate_proof() to make proofs involving
- Date: Thu, 28 Dec 2006 15:53:05 -0400 (AST)
- Message-id: <20061228195305(dot)E50059FA5CE(at)postgresql(dot)org>
Log Message:
-----------
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...
Modified Files:
--------------
pgsql/src/backend/optimizer/util:
predtest.c (r1.11 -> r1.12)
(http://developer.postgresql.org/cvsweb.cgi/pgsql/src/backend/optimizer/util/predtest.c.diff?r1=1.11&r2=1.12)
- Prev by Date: pgsql: Done: < * Move some /contrib modules out to their own project
- Next by Date: pgsql: Remove caveat about avoiding cross-type operators in constraints
- Previous by thread: pgsql: Done: < * Move some /contrib modules out to their own project
- Next by thread: pgsql: Remove caveat about avoiding cross-type operators in constraints
- Indexes: