Branches

• master default protected

  f9c6db72 · schedule-serialize · Jul 29, 2025
  revng/revng-pypeline!4
• object_kind

  97e31ffb · WIP ObjectKind as separate enum · Jul 10, 2025
• yaml

  ba7b7be7 · WIP yaml pipeline · Jul 03, 2025
• feature/registry

  7065cc1d · Add registry class decorator and decorated classes · May 07, 2025
  revng/revng-pypeline!3
• enumflags

  a73dcabf · Convert Availability and TaskArgumentAccess enums to flags · May 06, 2025
  revng/revng-pypeline!2
• nix

  dae725d9 · Add nix development shell + direnv · May 06, 2025
  revng/revng-pypeline!1
• feature/datastructures-merge

  2726b8dc · Merge branch 'feature/datastructures' into feature/datastructures-merge · Dec 20, 2024
• feature/datastructures

  e8a12393 · tmp · Dec 05, 2024