Skip to content

Labels

Labels

31 labels

  • accessibility

    accessibility
    Barrier affecting people with disabilities

  • area:agent

    area:agent
    Edit sessions, packets, rule cards, the skill and cairn mcp

  • area:ci

    area:ci
    The workflows under .github and the release tools under tools/release

  • area:compiler

    area:compiler
    The parser, checker, recipes and lowering, and the packaged std

  • area:docs

    area:docs
    The reference, the guide and the rest of docs/

  • area:examples

    area:examples
    examples/, demos/ and the benchmarks under bench/

  • area:perf

    area:perf
    cairn predict, cairn tune, device cards and measurement

  • area:projects

    area:projects
    Manifests, dependencies, targets, export and vendored foreign sources

  • area:runtime

    area:runtime
    The C++ and CUDA headers under src/cairn/runtime

  • area:verify

    area:verify
    Validation, SMT equivalence, cairn diff and the Lean proofs

  • backend:cuda

    backend:cuda
    Device code built by nvcc for an sm_NN target

  • backend:hip

    backend:hip
    AMD GPU code through HIP, which does not exist yet

  • bug

    bug
    Something isn't working

  • dependencies

    dependencies
    Pull requests that update a dependency file

  • documentation

    documentation
    Improvements or additions to documentation

  • duplicate

    duplicate
    This issue or pull request already exists

  • enhancement

    enhancement
    New feature or request

  • 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

  • invalid

    invalid
    This doesn't seem right

  • kind:bug

    kind:bug
    Something does what the documentation says it should not

  • kind:evaluation

    kind:evaluation
    A measurement: CAIRN's code on hardware, or how agents do in it

  • kind:kernel

    kind:kernel
    A kernel or benchmark to write in CAIRN, with its reference

  • kind:language

    kind:language
    A new form, rule or library function

  • kind:performance

    kind:performance
    Slower than it should be, or a prediction a measurement contradicts

  • kind:tooling

    kind:tooling
    A command, its record, or the editor and agent tools

  • needs:design

    needs:design
    Waits on a decision about the language or a tool before code

  • needs:hardware

    needs:hardware
    Settled only by a run on hardware CI lacks, such as a GPU

  • question

    question
    Further information is requested