Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
Parents and children of check-in [1b243032]
|19:36||A new implementation for the sqlite3ExprImpliesExpr() theorem prover that does a better job of answering TRUE to "(NOT A) OR B" when B is a NOT NULL expression. (check-in: b3413197 user: drh tags: trunk)|
|16:14||When considering partial indexes, do not assume that a "CASE x ..." expression implies "x IS NOT NULL". (check-in: 1b243032 user: dan tags: trunk)|
|13:04||Do not assume that "x IS NOT ?" implies "x NOT NULL" when considering partial indexes. Fix for ticket . (check-in: 0ba6d709 user: dan tags: trunk)|