viaduct
0.2.0-5-g5831d91.dirty
runtime
/
edu.cornell.cs.apl.viaduct.backend.commitment
/
CommitmentProtocolCleartextInterpreter
/
CommitmentProtocolCleartextInterpreter
Commitment
Protocol
Cleartext
Interpreter
fun
CommitmentProtocolCleartextInterpreter
(
program
:
ProgramNode
,
protocolAnalysis
:
ProtocolAnalysis
,
runtime
:
ViaductProcessRuntime
)
Content copied to clipboard