# README

Verified Goose standard library

Written in Goose for verification in Iris.

To translate with goose (in the repo directory):

goose -out ~/code/perennial/external/Goose

To makes changes you'll need to submit a pull request so that CI can run first.

See the [reference].

BytesEqual returns if the two byte slices are equal.

Multipar runs op(0) ..

Skip is a no-op that can be useful in proofs.

SliceSplit splits xs at n into two slices.

Spawn runs `f` in a parallel goroutine and returns a handle to wait for it to finish.

SumAssumeNoOverflow returns x + y, `Assume`ing that this does not overflow.

Returns true if x + y does not overflow.

JoinHandle is a mechanism to wait for a goroutine to finish.