Code

Formally verify the EventNotifier#54

Code

Merged

mratsim merged 1 commit intomastermratsim/weave:masterfrom formally-verified-backoffmratsim/weave:formally-verified-backoffCopy head branch name to clipboardDec 18, 2019

+625-58

Commits

Commits on Dec 18, 2019

• Formally verify our EventNotifier (but there is still blocking so it's not the datastructure that the system)

  mratsim

  committed
  3969519

  Copy full SHA for 3969519