Skip to content

Report a pty hangup on every path that can observe one - #278

Merged
jserv merged 1 commit into
sysprog21:mainfrom
open-sources-port:pty-hangup-epoll
Aug 11, 2026
Merged

Report a pty hangup on every path that can observe one#278
jserv merged 1 commit into
sysprog21:mainfrom
open-sources-port:pty-hangup-epoll

Report a pty hangup on every path that can observe one

26de80c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Frama-C WP proofs (make verify)
succeeded Aug 9, 2026 in 3m 20s