git.ipfire.org Git - thirdparty/sqlite.git/commit

]> git.ipfire.org Git - thirdparty/sqlite.git/commit

projects / thirdparty / sqlite.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: afb3f3c) | patch

author	drh <drh@noemail.net>
	Mon, 1 Apr 2019 19:42:42 +0000 (19:42 +0000)
committer	drh <drh@noemail.net>
	Mon, 1 Apr 2019 19:42:42 +0000 (19:42 +0000)
commit	d6db6598ca53771904d616054add0eaae3528b56
tree	de205526e275533d0bf6f889cb1de4ff3cd01b8e	tree \| snapshot
parent	afb3f3c72c6cfaca39d4ef45b3ebcf319a2787a7	commit \| diff

Improvements to the sqlite3ExprImpliesNonNullRow() theorem prover.

FossilOrigin-Name: 3fde627616030ca0de87169467e2e453fdc91154942e3a3a92a221df5923b2d2

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