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.
Published by tchajed over 2 years ago
Bump dependencies
Published by tchajed almost 3 years ago
This release adds support for the async_disk FFI and uses the new ptrT
type for opaque pointers.
Published by tchajed about 3 years ago
This version includes improvements and bug fixes from @RalfJung, especially around control flow.
Many translations now include an extra unit value at the end like e; #()
, hence the move from v0.3 to v0.4.
Published by tchajed over 3 years ago
Goose is now module-aware
Implement module-aware loading using golang.org/x/tools/go/packages to load source code (issue #9), rather than using ParseFile directly. This feature was implemented with @upamanyus, who helped figure out how Goose used to work and implemented the initial version of this feature.
It is no longer necessary to use GO111MODULE=auto
or download the translated package's dependencies to $GOPATH to make Goose work. Dependencies are fetched from the module cache as in a normal module build.
In addition, this design allowed us to add the following features
// +build !goose
with an