Labels Milestones

24 labels

Sort

Alphabetically Reverse alphabetically Least issues Most issues

• area/capsules
  capsules/ and mkcapsule
  0 open issues/pull requests
• area/docs
  docs/
  2 open issues/pull requests
• area/kernel
  kernel/ -- LithosAnanke
  6 open issues/pull requests
• area/proofs
  proof/ -- Isabelle/HOL
  1 open issues/pull requests
• area/v3
  v3/ -- the original StarForth VM
  0 open issues/pull requests
• area/v4
  v4/ and capsules/v4 -- the F18 engine
  16 open issues/pull requests
• board/milkv
  Milk-V Mars
  1 open issues/pull requests
• board/pc
  Generic x86-64 PC (SER5)
  0 open issues/pull requests
• board/raspi4
  Raspberry Pi 4 (not ported)
  1 open issues/pull requests
• board/raspi5
  Raspberry Pi 5
  2 open issues/pull requests
• board/zynq7020
  Zynq-7020 (ARMv7 port in progress)
  0 open issues/pull requests
• kind

  bug

  
  Something is wrong
  3 open issues/pull requests
• kind

  chore

  
  Housekeeping, repo hygiene
  4 open issues/pull requests
• kind

  ci

  
  Build, CI, nightly, release
  4 open issues/pull requests
• kind

  docs

  
  Documentation only
  2 open issues/pull requests
• kind

  feature

  
  New capability
  13 open issues/pull requests
• priority

  must

  
  Needed for v4.0.0 (JUSTIFICATION.md 14/16)
  6 open issues/pull requests
• priority

  nice

  
  Nice to have
  7 open issues/pull requests
• priority

  should

  
  Needed for the product, not for the tag
  13 open issues/pull requests
• status

  backlog

  
  Not started
  0 open issues/pull requests
• status

  blocked

  
  Waiting on something else
  0 open issues/pull requests
• status

  in-progress

  
  Being worked on
  0 open issues/pull requests
• status

  needs-acceptance

  
  Done; the QEMU acceptance boots are still to run
  0 open issues/pull requests
• status

  rejected

  
  Decided against; closed
  0 open issues/pull requests