Blog posts tagged "Dqlite"

Hunting a 16-year-old SQLite bug with TLA+: is dqlite affected?

This article was written by Marco Manino and Alberto Carretero, dqlite team at Canonical. 1. Anatomy of a SQLite bug Recently SQLite published a new version...