Developer Guide

Contents:

• General Logistics
  • Development Environment
    • Install Rust
    • Install Python
    • Clone the OpenDP Repo
    • Build OpenDP
    • Install Python Dependencies
    • Run the Tests
  • Coding Style
  • Testing
    • Rust
    • Python
  • Documentation
    • Documentation Source
    • Building the Docs
  • Branching Strategy
  • Making Pull Requests
    • Find or Create a GitHub Issue
    • Create a New Branch off the main Branch
    • Commit Your Change to Your New Branch
    • Rebase as Needed
    • Push Your Branch to GitHub
    • Make a Pull Request
• Algorithm Contribution Process
  • Introduction
  • Contributing Algorithms
  • Structuring Contributions
  • Writing Proofs
• Algorithm Review Process
  • Validating Proofs
  • Verifying Code