Labels

• area/ai

  Area: AI, agentic coding
• area/arch/armv7l

  Area: AArch32
• area/arch/ppc

  Area: PPC{32,64}
• area/arch/x86_64

  Area: Amd64
• area/cli

  Area: Command-line interface
• area/concretization

  Area: Concretizing symbolic data
• area/debugger

  Having to do with `crucible-debug` (`--debug`)
• area/deps

  Area: Dependencies (e.g., submodules or Hackage dependencies)
• area/docs

  Improvements or additions to documentation
• area/docs/dev

  Area: Improvements to the developer docs
• area/docs/guide

  Area: Improvements to the "User Guide"
• area/docs/reference

  Area: Improvements to the reference documentation
• area/dwarf

  Area; DWARF debugging information
• area/elf-edit-core-dump

  Area: The `elf-edit-core-dump` package
• area/ghidra

  Area: Ghidra integration
• area/infra/cabal

  Area: Build system
• area/infra/ci

  Area: Continuous integration, GitHub Actions
• area/infra/docker

  Area: Docker image, Dockerfile
• area/infra/hlint

  Area: Linting
• area/lang/llvm

  Area: Analysis of LLVM bitcode
• area/lang/sexp

  Relating to the S-expression language
• area/llvm-debug-info

  Area: LLVM debugging information
• area/macaw

  Area: Binaries of any architecture/object format
• area/oughta

  Area: Related to the Oughta test infrastructure
• area/overrides

  Issues related to function or system call overrides
• area/plt

  Area: PLT stubs
• area/relocations

  Issues related to dynamic relocations
• area/rust

  Area: Analysis of binaries or bitcode from Rust programs
• area/screach
• area/shapes dsl

  Area: Shapes DSL