Labels

• area::ci

  Related to CI, coverage, Github, etc.
• area::conjure-oxide

  Related to conjure_oxide.
• area::conjure-oxide/ast

  Related to conjure_core and ast representation.
• area::conjure-oxide/rule-engine

  Related to the rule engine and the expression rewriting logic.
• area::error-detection

  Related to error detection functionality of tree-sitter or conjure parser
• area::logging-stats

  Related to logging and getting statistics out of Conjure Oxide
• area::minion

  Related to minion_rs, the minion C++ bindings, and the minion solver interface.
• area::parsing

  Related to essence / essence prime parsing
• area::rules

  Related to rewrite rules
• area::sat

  Related to SAT rules, SAT solvers and the KisSAT solver interface.
• area::solvers/chuffed

  Related to chuffed_rs and the chuffed solver interface.
• area::tree-sitter-parser

  Related to issues with the tree-sitter parser/grammar
• area::treemorph

  Related to treemorph, and its integration into Conjure Oxide.
• area:smt

  Related to SMT rules, solvers, and the Z3 solver interface.
• dependencies

  Automated pull requests that update dependencies.
• dependencies::ci
• dependencies::python

  Automated pull requests that update Python code.
• dependencies::rust

  Automated pull requests that update Rust code.
• dependencies::submodules

  Automated pull requests that update submodules.
• experiment
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• javascript

  Pull requests that update javascript code
• kind::bug

  Something isn't working
• kind::build-failure

  The build is broken!
• kind::discussion

  General discussion and high-level planning.
• kind::documentation

  Improvements or additions to documentation
• kind::feature

  New feature or request
• kind::question