Categorygithub.com/goose-lang/primitive
modulepackage
0.1.0
Repository: https://github.com/goose-lang/primitive.git
Documentation: pkg.go.dev
Overview
Versions
1
Dependencies
6
Dependents
36
Files
76 SLOC

# README

Goose primitives

CI

Primitive functionality provided by goose. Everything here is given a trusted model of its execution.

For common functionality that is verified rather than trusted, use goose-lang/std.

# Packages

No description provided by the author
No description provided by the author
Package filesys is a support library providing access to a single directory in the filesystem.

# Functions

Assert induces a proof obligation that `c` is true.
Assume lets the proof assume that `c` is true.
Stop the program with the given exit code.
Linearize does nothing.
No description provided by the author
No description provided by the author
RandomUint64 returns a random uint64 using the global seed.
No description provided by the author
No description provided by the author
32-bit version.
32-bit version.
UInt64Get converts the first 8 bytes of p to a uint64.
UInt64Put stores n to the first 8 bytes of p Requires p to be at least 8 bytes long.
UInt64ToString formats a number as a string.
WaitTimeout is like cond.Wait(), but waits for a maximum time of timeoutMs milliseconds.