Labels

• area::ci

  area::ci

  Related to CI, coverage, Github, etc.

• area::conjure-oxide

  area::conjure-oxide

  Related to conjure_oxide.

• area::conjure-oxide/ast

  area::conjure-oxide/ast

  Related to conjure_core and ast representation.

• area::conjure-oxide/rule-engine

  area::conjure-oxide/rule-engine

  Related to the rule engine and the expression rewriting logic.

• area::error-detection

  area::error-detection

  Related to error detection functionality of tree-sitter or conjure parser

• area::logging-stats

  area::logging-stats

  Related to logging and getting statistics out of Conjure Oxide

• area::minion

  area::minion

  Related to minion_rs, the minion C++ bindings, and the minion solver interface.

• area::parsing

  area::parsing

  Related to essence / essence prime parsing

• area::rules

  area::rules

  Related to rewrite rules

• area::sat

  area::sat

  Related to SAT rules, SAT solvers and the KisSAT solver interface.

• area::solvers/chuffed

  area::solvers/chuffed

  Related to chuffed_rs and the chuffed solver interface.

• area::tree-sitter-parser

  area::tree-sitter-parser

  Related to issues with the tree-sitter parser/grammar

• area::treemorph

  area::treemorph

  Related to treemorph, and its integration into Conjure Oxide.

• area:smt

  area:smt

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

• dependencies

  dependencies

  Automated pull requests that update dependencies.

• dependencies::ci

  dependencies::ci

• dependencies::python

  dependencies::python

  Automated pull requests that update Python code.

• dependencies::rust

  dependencies::rust

  Automated pull requests that update Rust code.

• dependencies::submodules

  dependencies::submodules

  Automated pull requests that update submodules.

• experiment

  experiment

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• javascript

  javascript

  Pull requests that update javascript code

• kind::bug

  kind::bug

  Something isn't working

• kind::build-failure

  kind::build-failure

  The build is broken!

• kind::discussion

  kind::discussion

  General discussion and high-level planning.

• kind::documentation

  kind::documentation

  Improvements or additions to documentation

• kind::feature

  kind::feature

  New feature or request

• kind::question

  kind::question