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
Those are the commits from upstream that resolved the bug. Notice that most of them were committed by Dr. Richard Hipp himself.
Hmm, shouldn't the diff start at the tag? That is, it seems like it should be https://github.com/sqlite/sqlite/compare/version-3.51.2...an...
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.