M

MoobFS

Settings | Report Duplicate

0

I Use This!

New Project

Commits : Listings

Analyzed about 19 hours ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 05, 2025 — Nov 05, 2026 Showing page 1 of 35 Search / Filter on:
Merge pull request #183 from studiomoob/claudiofp/b12-records	Cláudio Fernando Pinto	More...				3 days ago
docs: record the pre-push checks of the records branch	Claudio	More...				3 days ago
docs: record the first S18 campaigns on the corrected code	Claudio	More...				3 days ago
vm: let two syzkaller campaigns share a host	Claudio	More...				3 days ago
docs: record the passing full KASAN suite of the S21 corrections	Claudio	More...				3 days ago
docs: record the loss of S18 round r04b to a Debian host stop	Claudio	More...				3 days ago
docs: record the passing full native suite of the corrections	Claudio	More...				3 days ago
docs: record the passing focused KASAN run of the corrections	Claudio	More...				3 days ago
docs: record the two-file TLC run on the corrected model	Claudio	More...				3 days ago
docs: record the F1 negative control with the final test	Claudio	More...				3 days ago
docs: note the hashes changed by the sign-off rebase	Claudio	More...				3 days ago
docs: journal 0266 (S21 model and corrections) and the restarted S18 count	Claudio	More...				3 days ago
formal: model the F1 and F2 corrections, with a negative control for each	Claudio	More...				3 days ago
layer: keep whether a record is whole with it, and tell the index about an unlink that leaves other names	Claudio	More...				3 days ago
docs: record accepted S18 campaign r03 (3 of 7) and start of r05	Claudio	More...				3 days ago
formal: README with the code-to-model mapping, results and two findings	Claudio	More...				3 days ago
formal: tlc.sh refuses a jar with the wrong hash without removing it	Claudio	More...				3 days ago
ci: run make tla-check on the TLA+ model (S21)	Claudio	More...				3 days ago
docs: references for the TLA+ model (section 47)	Claudio	More...				3 days ago
formal: pinned TLC runner and make tla-check	Claudio	More...				3 days ago
formal: TLA+ model of index_load() registration and retry against the update hooks	Claudio	More...				3 days ago
tests: S20 coldmove regression test written from the specification by a second model	Claudio	More...				3 days ago
docs: record pre-push checks of the records branch	Claudio	More...				3 days ago
docs: record interrupted S18 round r04 and its restart	Claudio	More...				3 days ago
docs: accept S18 campaign r02 on the Debian host (2 of 7)	Claudio	More...				3 days ago
docs: accept corrected S18 campaign r01 (1 of 7)	Claudio	More...				4 days ago
python: check scan liveness after the racing swap, not during it	Claudio	More...				4 days ago
docs: record passing post-merge checks of a1f313b	Claudio	More...				4 days ago
docs: record PR 182 merge, CI rerun and coordination handover	Claudio	More...				4 days ago
Merge pull request #182 from studiomoob/claudiofp/b11-nightly-followup	Cláudio Fernando Pinto	More...				4 days ago

←
1
2
3
4
5
6
7
8
9
…
34
35
→