Skip to content

Home

Jump to bottom Edit New page
Özgür Akgün edited this page Oct 5, 2023 · 1 revision

Welcome to the conjure-oxide wiki!

This wiki is primarily the developer documentation (at the moment, we will probably have user documentation later).

The project is implemented by students and staff at the University of St Andrews. All of the code we produce is open-source and is released under the MPL 2.0 license, unless otherwise specified.

  • TBA: links to rust docs
  • TBA: The Github actions setup
  • etc...

The contents of this repository are licensed under the Mozilla Public Licence.

Home

Contributor's Guide
  1. Setting up your development environment
  2. Contributing process
  3. Running and writing integration tests
  4. What we didn't do
  5. This is how we work
Design Documents
  1. 2023‐11: High Level Plan
  2. 2024‐03: Implementing Uniplates and Biplates with Structure Preserving Trees
  3. Expression rewriting, Rules and RuleSets
  4. Semantics of Rewriting Expressions with Side‐Effects
CI/CD
Clone this wiki locally