Yaml witness - #12

Merged

leventeBajczi merged 10 commits into

mainfrom

Jul 13, 2026

Commits on Jul 13, 2026

Updated demo site and handled feature set
leventeBajczi
committed
0edb1a7
updated logic to validate concurrent witnesses
leventeBajczi
committed
9186fc2
Added INPUT_ONLY mode
leventeBajczi
committed
bd8fbe0
updated pthread_exit and yield/release
leventeBajczi
committed
b224bb8
added logging, fixed prototype
leventeBajczi
committed
8caf777
Updated nondet instrumentation
leventeBajczi
committed
cca96f2
Fixed instrumenting brace-less iteration/branching stmts
leventeBajczi
committed
9235317
Fixed function_Return
leventeBajczi
committed
d3419eb
Added memsafety verification
leventeBajczi
committed
81d9686
Black
leventeBajczi
committed
4e86344