status

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

new patches

Robert Konicar <xkonicar@fi.muni.cz>, Thu May 26 17:09:01 CEST 2022
build: Generate files for divine and klee tests.
    M gib/sub.test -18 +15
Robert Konicar <xkonicar@fi.muni.cz>, Thu May 26 17:13:02 CEST 2022
test: Make the expand script generate the gib file content based on the driver.
    M test/lib/expand -3 +18
Robert Konicar <xkonicar@fi.muni.cz>, Thu May 26 17:15:55 CEST 2022
test: Add runner for kleecheck.
    A test/lib/check_klee
Robert Konicar <xkonicar@fi.muni.cz>, Thu May 26 17:16:41 CEST 2022
build: Run klee tests with kleecheck.
    M gib/sub.test -1 +2
Robert Konicar <xkonicar@fi.muni.cz>, Thu May 26 17:26:14 CEST 2022
dios: Move platform-dependent parts of thread management to arch/*/thread.cpp.
    A dios/arch/divm/thread.cpp
    A dios/arch/klee/thread.cpp
    M dios/include/sys/syscall.def +1
    M dios/include/sys/task.h +1
    M dios/include/sys/thread.h -1 +3
    M dios/libc/pthread/pthread-init.cpp -9 +10
    M dios/sys/sched_base.hpp +8
    M dios/sys/sched_null.hpp +5
Robert Konicar <xkonicar@fi.muni.cz>, Thu May 26 17:23:57 CEST 2022
dios: Fix signatures of klee functions in arch/klee/glue.cpp.
    M dios/arch/klee/glue.cpp -2 +3
Petr Rockai <me@mornfall.net>, Sat Jun 18 20:00:38 CEST 2022
gib: Fix the 'waiting' counter with a duplicated static vs dynamic dependency.
    M gib/bundle/queue.h -4 +2
Petr Rockai <me@mornfall.net>, Sat Jun 18 20:02:08 CEST 2022
gib: Fix post-order timestamp updates in queue_create_jobs.
    M gib/bundle/queue.h -5 +6
Petr Rockai <me@mornfall.net>, Sun Jun 19 10:11:29 CEST 2022
test: Make kleecheck executable.
    M test/lib/testcase +1

test results

Remaining 2738/2739 tests passed.