README
¶
This repository contains several Go modules implemented by Walland Heavy
Research. Please see the ATLAS file in this repository for a full list.
We use ‘redo’ to build and test the code locally. (Note that you do not need
‘redo’ installed to _use_ these Go modules; just ‘go get’ them as you usually
would.)
$ redo build
$ redo check
This will automatically find, build, and test all Go modules defined in the
repository.
SPDX-FileCopyrightText: © 2024 Walland Heavy Research
SPDX-License-Identifier: AGPL-3.0-only
Directories
¶
| Path | Synopsis |
|---|---|
|
csp
module
|
|
|
Package logwrap provides an io.Writer that writes its output to a logger
|
Package logwrap provides an io.Writer that writes its output to a logger |
|
pastry
module
|
|
|
rapid
|
|
|
generators
Package generators contains several generally helpful rapid generators
|
Package generators contains several generally helpful rapid generators |
|
sets
|
|
|
anf
Package anf provides an implementation of sets that are stored in [Algebraic Normal Form] (ANF).
|
Package anf provides an implementation of sets that are stored in [Algebraic Normal Form] (ANF). |
|
anf/anftest
Package anftest defines a test suite for anf set implementations
|
Package anftest defines a test suite for anf set implementations |
|
Package states supports writing more complex state machine tests with the rapid property test framework.
|
Package states supports writing more complex state machine tests with the rapid property test framework. |
Click to show internal directories.
Click to hide internal directories.