search

xtuml / munin

Apache License 2.0
1 stars 0 forks source link

job: #MUN2-116 pvprime analysis #99

Closed cortlandstarrett closed 11 months ago

cortlandstarrett commented 11 months ago

This note documents Protocol Verifier usage research by instrumenting the Protocol Verifier itself.

github-actions[bot] commented 11 months ago

Test results for branch "MUN2-116_pvprime_reqs": https://s3.amazonaws.com/1f-outgoing/munin/MUN2-116_pvprime_reqs/index.html Permanent link for this run: https://s3.amazonaws.com/1f-outgoing/munin/8fbcabb/index.html

github-actions[bot] commented 11 months ago

Test results for branch "MUN2-116_pvprime_reqs": https://s3.amazonaws.com/1f-outgoing/munin/MUN2-116_pvprime_reqs/index.html Permanent link for this run: https://s3.amazonaws.com/1f-outgoing/munin/2342ec3/index.html

ColinCarterUK commented 11 months ago

Reviewer comment: The document makes good sense to me. It's an articulation of requirements so understandably doesn't cover how we will achieve previous event ids for example. I can't think of anything missing or anything superfluous at the requirements level.