|
|
|
|
|
|
by romaaeterna
29 days ago
|
|
|
I don't like the title. The article actually describes the process of proving that dqlite does not have the same bug as SQLite, using a TLA+ specification. The SQLite bug fix was entirely separate from what is described here. |
|
|