Issues

• Add smartphone support for klee web

  klee/klee-web#169 · Filter by author YiLai-qed opened on Oct 10, 2026

• Define cancellation outcome ordering at completion

  backendbug
  klee/klee-web#125 · Filter by author FinnLeh opened on Aug 8, 2026

• Admin capacity controls: couple concurrency and Runner CPU Caps

  backendenhancementfrontend
  klee/klee-web#107 · Filter by author FinnLeh opened on Jul 23, 2026

• Surface Runner hard-memory exhaustion

  backendfrontendpolish
  klee/klee-web#71 · Filter by author FinnLeh opened on Jul 16, 2026

• Admin observability: measure workload demand and resource use

  backendenhancementfrontend
  klee/klee-web#67 · Filter by author FinnLeh opened on Jul 13, 2026

• Per-line coverage of explored paths

  backendenhancementfrontend
  klee/klee-web#62 · Filter by author FinnLeh opened on Jul 11, 2026

• Export raw KLEE output artifacts as a zip

  backendenhancement
  klee/klee-web#51 · Filter by author FinnLeh opened on Jul 6, 2026

• Expand the typed KLEE flag schema

  backendenhancement
  klee/klee-web#49 · Filter by author FinnLeh opened on Jul 6, 2026
  2

• Export path constraints as SMT-LIBv2

  backendenhancement
  klee/klee-web#48 · Filter by author FinnLeh opened on Jul 6, 2026

• Result cache: single-flight concurrent identical submissions

  backendenhancement
  klee/klee-web#18 · Filter by author FinnLeh opened on Jun 25, 2026

• Distinguish submit-error kinds instead of collapsing every failure to backend-unreachable

  bugfrontend
  klee/klee-web#10 · Filter by author FinnLeh opened on Jun 16, 2026

• Show live test-case count and allow browsing tests during a run

  agent:pr-openedenhancementfrontendpolish
  klee/klee-web#6 · Filter by author FinnLeh opened on Jun 4, 2026
  2