Proof of SetHopField - Githubissues

viperproject / VerifiedSCION

Verifying the SCION architecture using Gobra

Apache License 2.0

10 stars 3 forks source link

Closed mlimbeck closed 2 months ago

jcp19 commented 4 months ago

@mlimbeck can you disable moreJoins for SetHopField and update this branch to master? I would like to merge this soon

jcp19 commented 2 months ago

To avoid this bit-rotting, I will now merge it. We can debug the perf. issues later