Labels

• area:air

  area:air

  pwm-air: AIR components

• area:ci

  area:ci

  CI/build subsystem

• area:circuits

  area:circuits

  pwm-circuits: low-level gates and adapters

• area:core

  area:core

  pwm-core: field, fixed-point, types, serialization

• area:docs

  area:docs

  Documentation subsystem

• area:export

  area:export

  pwm-export: checkpoint export, quantization, manifest

• area:planner

  area:planner

  Cost, argmin, and planner proving

• area:prover

  area:prover

  pwm-prover: trace building and proving

• area:security

  area:security

  Security subsystem

• area:testing

  area:testing

  Testing subsystem

• area:verifier

  area:verifier

  pwm-verifier: verification and recursion

• blocked

  blocked

  Blocked on another issue or decision

• bug

  bug

  Something isn't working

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• effort:l

  effort:l

  Large: a week or more; consider decomposing

• effort:m

  effort:m

  Medium: a few days

• effort:s

  effort:s

  Small: hours to a day

• enhancement

  enhancement

  New feature or request

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• invalid

  invalid

  This doesn't seem right

• priority:p0

  priority:p0

  Blocking: required for the milestone to ship

• priority:p1

  priority:p1

  Important: should ship in the milestone

• priority:p2

  priority:p2

  Deferred or future work

• question

  question

  Further information is requested

• spec:rfc-0000

  spec:rfc-0000

  Derived from RFC-0000

• spec:rfc-0001

  spec:rfc-0001

  Derived from RFC-0001

• spec:rfc-0002

  spec:rfc-0002

  Derived from RFC-0002

• spec:rfc-0003

  spec:rfc-0003

  Derived from RFC-0003