David Holland

pthread_cond_timewait can't cope with clock failure

1

If the timeout isn't null, pthread_cond_timedwait does some work to convert the timeout to a timestamp. If this fails (which it can at least in principle) the resulting error path...

Some proofs are broken with modern SAW and Cryptol

1

First, some background: the SAW repository runs some of the proofs from this repo as part of its CI tests. This led us to notice when the ancient nightly SAW...