status

Patches from next that pass the testsuite are automatically promoted to current. The latest batch was considered on 2022-08-17, with the following results.

new patches

Robert Konicar <xkonicar@fi.muni.cz>, Fri Jul 22 15:14:26 CEST 2022
blog: First crude draft of a blog on file system vs verification.

    A doc/blog.2228.verifyfs.txt

Robert Konicar <xkonicar@fi.muni.cz>, Fri Jul 22 20:34:33 CEST 2022
blog: Draft of a blog on file system vs verification.

    M doc/blog.2228.verifyfs.txt -76 +76

Petr Rockai <code@fixp.eu>, Tue Aug 16 01:22:06 CEST 2022
blog: Move verifyfs into the correct week.

    doc/blog.2228.verifyfs.txt → ./doc/blog.2233.verifyfs.txt

Petr Rockai <code@fixp.eu>, Tue Aug 16 01:22:37 CEST 2022
blog: Copy-edit verifyfs, part 1.

    M doc/blog.2233.verifyfs.txt -52 +96

Petr Rockai <code@fixp.eu>, Tue Aug 16 08:56:54 CEST 2022
blog: Copy-edit the second half of verifyfs, mention zippers in the conclusion.

    M doc/blog.2233.verifyfs.txt -83 +130

test results

failed: [klee] dios/api/start-task-a.chk.c

Summary: 1 test(s) failed, 16 tests passed.