]> git.ipfire.org Git - thirdparty/sqlite.git/commit
projects / thirdparty / sqlite.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6824c8) | patch
A new implementation for the sqlite3ExprImpliesExpr() theorem prover that
authordrh <drh@noemail.net>
Sat, 11 May 2019 19:36:03 +0000 (19:36 +0000)
committerdrh <drh@noemail.net>
Sat, 11 May 2019 19:36:03 +0000 (19:36 +0000)
commitc51cf8642f867050c8cb9e330582605dabeff76c
treec9df800852234fe101762a275292a4a7f41cda62tree | snapshot
parentc6824c8d6c2def197044cad984481eb981d38998commit | diff
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.

FossilOrigin-Name: b3413197f57711f04102d8cc6ff1e8ddbe0f5f2bcb6e1989cf314fa97f0ff7f1
manifest diff | blob | blame | history
manifest.uuid diff | blob | blame | history
src/expr.c diff | blob | blame | history
Mirror of https://github.com/sqlite/sqlite.git