Bind source thread wrappers to canonical compiler signatures and constants; physical thread, memory, errno and return writes remain runtime operations.
def
Miri.Input.CompilerUnixThreadDispatch.hooks
{S D B I : Type}
(p : CompilerProviders.Prepared)
(constants : CompilerNamedConstants.Prepared)
(abis : CompilerNamedShimAbi.Prepared)
(base : Interpreter.UnixThreadDispatch.Hooks S D B I)
:
Equations
- One or more equations did not get rendered due to their size.