search

viperproject / gobra-libs

Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
MIT License
2 stars 1 forks source link

Add package `byteslice` adapted from verifiedSCION #20

Closed jcp19 closed 2 months ago

jcp19 commented 2 months ago

This PR adds features to treat slices of bytes abstractly. This is often a better alternative to propagating quantified permissions to a slice, both in terms of readability and verification performance