looks like the bug fixes are in individual commits here: https://github.com/sqlite/sqlite/compare/master...antithesis...
I'd be interested in seeing what the SQLite people have to say about them if/when they are submitted upstream
I'd be interested in seeing what the SQLite people have to say about them if/when they are submitted upstream
Which says they made two commits to make instrumentation work. Also, no fixes (which seems reasonable to me; need to figure out what's wrong first)
Presumably any bugs found are being sent upstream to fix.