Home

Welcome to the DiffDART developer guide! If you're looking for end-user guides, please check out diffdart.org.

If you're reading these docs, you're probably thinking about helping out with DiffDART's core development. Thank you for your help :)

1. Setting up your dev environment
2. Building and running code
3. Finding and fixing bugs