dimitarvp / xqlite
71%

DEFAULT BRANCH: main
Repo Added
Token IAiZVvEbWnSF6SjOOjRfqCbZBTimZspGV regen
Build 51 Last
Files 33
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x
Sync Branches

coverage: 71.359%. Remained the same
Relevant lines Covered
824 RELEVANT LINES 588 COVERED LINES
38.92 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
80210b63... main record A1+A2 dryness re-run in ledger - Run 22: full panic census (A1) and locking-law call-site audit (A2) at HEAD, both clean, no code changes. zero unwrap/panic outside test code; every sqlite3_* call under the connection mutex, unchanged ... push dimitarvp github
71.36
0f81e75a... main refresh busy + binary probes; ledger run 21 - A4+A11+A12 dryness re-run over the maintainer-decisions churn: all three clean, no product changes - scheduler census holds at 91 dirty / 5 normal; the shared-handle reader contention now lands on... push dimitarvp github
71.36
5a05d91e... main record maintainer-decision implementations - BACKLOG: busy-elapsed, reader-scheduler, and text-encode-OOM items closed with their rulings; the :replace keep-abort ruling noted - LEDGER: maintainer-decisions entry with the per-event busy repro, ... push dimitarvp github
71.36
3d9f2603... main record S3 fix pass round 3 in ledger and backlog - BACKLOG: F-A3-1, F-A10-9, and the cancel-token single-use item moved to Closed - LEDGER: round-3 entry with per-fix evidence - AXES: A3 and A10 re-wet by the unsafe-comment and error-union churn push dimitarvp github
71.36
264740ec... main release 0.10.0 memory-safety and crash fixes present in 0.9.0, plus breaking refinements to the error and streaming contracts. see CHANGELOG. push dimitarvp github
71.36
6023d0e8... main record A3 UB-tooling first covering run in ledger - Run 20: unsafe-surface census (131 occurrences, 102 blocks) with a separability table — ownership logic is cleanly separable from the FFI leaf, no inseparability finding - clippy pedantic an... push dimitarvp github
71.36
8ba44560... main record A4+A13+A14 dryness re-run in ledger - Run 19: all three axes clean, no product changes. scheduler census stable at 96 NIFs / 71 DirtyIo / 25 normal / 0 DirtyCpu, no reclassification; the stream fix stayed correctly DirtyIo. the sched... push dimitarvp github
71.36
92ca3d20... main extend durability probe to typed values + ledger run 18 - A8+A9 combined dryness re-run: both clean, no product changes; the durability harness held 400 kill-9 reopens across WAL and rollback journal with zero corruption, lost writes, or hang... push dimitarvp github
71.36
8535ddca... main fix concurrency oracle + ledger run 17 - A5+A6+A7 combined dryness re-run: all three axes clean, no product changes; the three harnesses re-run at HEAD with all twelve teeth tripping - concurrency probe oracle matched the old two-tuple busy e... push dimitarvp github
71.36
9abf27e7... main record A1+A2 dryness re-run in ledger - Run 16: full panic census (A1) and locking-law call-site audit (A2) at HEAD. A2 holds — every sqlite3_* call proven under the connection mutex; zero findings, first clean covering run - A1 surfaced and ... push dimitarvp github
71.36
See All Builds (51)

Badge your Repo: xqlite

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

Refresh