Skip to content

v0.7.1
Compare
Choose a tag to compare
@tchajed tchajed released this 20 Jul 18:00
· 16 commits to master since this release
v0.7.1
c6058ab
This commit was signed with the committer’s verified signature.
tchajed Tej Chajed
SSH Key Fingerprint: Mw3GFBUKD13/yiroFOIb7/IuXgaJqAuDvUFcQW1TmTA Learn about vigilant mode.

Goose is now located at https://github.com/goose-lang/goose. Primitives with trusted models and specs that are intended for verified code to use are now at https://github.com/goose-lang/primitive.

Assets 2
Loading