Skip to main content

Development Guide

Keeping a list of things to be integrated into programmer's reference documentation:

Code:

Exceptions:

Module usage:

Deployment:

Documentation:

  • function comment blocks (in code):
    • no @return/@param usage in function comments (auto-generated, and return is inferred from the return type)

Reviewing

Fast Check Usage

See for fast check usage, model checking, async model checking, concurrent model checking:


This guide is specifically designed for developers interested in contributing to the Polykey repository. It provides step-by-step instructions tailored for users on macOS, Windows, and Linux, outlining the necessary setup steps to prepare their development environment.

Please note, this guide is distinct from the Polykey installation and usage documentation. It focuses solely on the initial setup required for contributing to the Polykey project, including the installation of development tools and the configuration of development environments.

For detailed instructions on how to install and use Polykey, please refer to the official Polykey documentation.

macOS Setup Guide

This section provides instructions for macOS users.

Installing Homebrew

Homebrew is a package manager for macOS that simplifies the installation of software. To install Homebrew, follow the instructions on the Homebrew website.

Installing Git

Git is a distributed version control system that is required for contributing to the repository. To install Git using Homebrew, open Terminal and run:

brew install git

Installing GitHub CLI (gh)

The GitHub CLI is a command-line tool that simplifies GitHub interactions. To install the GitHub CLI using Homebrew, open Terminal and run:

bash brew install gh

Authenticating GitHub CLI

After installing the GitHub CLI, you need to authenticate it with your GitHub account. To do this, open Terminal and run:

bash gh auth login

Follow the prompts to complete the authentication process.

Installing Git LFS

Git LFS is a Git extension for versioning large files. To install Git LFS using Homebrew, open Terminal and run:

bash brew install git-lfs

After installing Git LFS, initialize it by running:

bash git lfs install