rv_1_0_0.md

Formal Verification Results

Auditor

• Runtime Verification (https://github.com/runtimeverification)

Notes

The formal verification was based on commit 427d6f7e779431333c54bcb4d4cde31e4d57ce96

Critical findings have been fixed with safe-global#90

Files

• Formal Verification Report