]> git.ipfire.org Git - thirdparty/sqlite.git/commit
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
treec9df800852234fe101762a275292a4a7f41cda62
parentc6824c8d6c2def197044cad984481eb981d38998
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
manifest.uuid
src/expr.c