Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | 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. |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
b3413197f57711f04102d8cc6ff1e8dd |
| User & Date: | drh 2019-05-11 19:36:03 |
Context
|
2019-05-13
| ||
| 11:52 | Fix an assert() failure in fts5 that could occur when processing a corrupt database. check-in: f158c048 user: dan tags: trunk | |
|
2019-05-11
| ||
| 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 | |
Changes
Changes to src/expr.c.