tech-kern archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: veriexec


Elad Efrat wrote:

A while ago mjf@ wrote a patch for veriexecgen that tries to guess all
of that stuff (see PR/34773) -- please test if you're interested; if you
find it useful I'll just commit it.

This looks very useful to me. :)

Adam Hoka
CC if you reply, please.

Home | Main Index | Thread Index | Old Index