/ Check-in [3fde6276]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Improvements to the sqlite3ExprImpliesNonNullRow() theorem prover.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 3fde627616030ca0de87169467e2e453fdc91154942e3a3a92a221df5923b2d2
User & Date: drh 2019-04-01 19:42:42
Context
2019-04-02
00:28
Add the sqlite3_value_frombind() interface. Use that interface to improve fts3_tokenizer(). check-in: b3f2c320 user: drh tags: trunk
2019-04-01
19:42
Improvements to the sqlite3ExprImpliesNonNullRow() theorem prover. check-in: 3fde6276 user: drh tags: trunk
18:43
Add a test case to cover a missed VDBE branch generated by window.c. check-in: b36813d6 user: dan tags: trunk
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to src/expr.c.