Issues

• ZXLive roadmap and contribution guide

  Type: Collection
  zxcalc/zxlive#614 · Filter by author RazinShaikh opened on Oct 9, 2026

• Project folders for diagrams, proofs, custom rules, and patterns

  Priority: MediumType: enhancement
  zxcalc/zxlive#611 · Filter by author RazinShaikh opened on Oct 8, 2026

• Display Pauli webs in the current panel

  Priority: MediumType: enhancement
  zxcalc/zxlive#610 · Filter by author RazinShaikh opened on Oct 8, 2026

• Follow Pauli webs across proof steps

  Category: Proof modePriority: MediumType: enhancement
  zxcalc/zxlive#609 · Filter by author RazinShaikh opened on Oct 8, 2026
  1

• Store rewrite application data to verify proof steps

  Category: Proof modePriority: MediumType: enhancement
  zxcalc/zxlive#608 · Filter by author RazinShaikh opened on Oct 8, 2026
  1

• Preserve alternative proof branches

  Category: Proof modePriority: HighType: enhancement
  zxcalc/zxlive#607 · Filter by author RazinShaikh opened on Oct 8, 2026

• Add "Select by property" commands

  Category: Edit ModeCategory: Proof modegood first issuePriority: LowType: enhancement
  zxcalc/zxlive#606 · Filter by author RazinShaikh opened on Oct 8, 2026
  1

• Diagram transformation commands: rotate (counter)clockwise, reflect horizontally/vertically

  Category: Edit Modegood first issuePriority: LowType: enhancement
  zxcalc/zxlive#605 · Filter by author RazinShaikh opened on Oct 8, 2026

• Export diagram as image

  good first issuePriority: LowType: enhancement
  zxcalc/zxlive#604 · Filter by author RazinShaikh opened on Oct 8, 2026

• Formal proof verification with lemma dependencies and explicit assumptions

  Category: Custom rulesCategory: Proof modemore discussion neededPriority: LowType: enhancement
  zxcalc/zxlive#603 · Filter by author RazinShaikh opened on Oct 8, 2026
  1

• Copying does not preserve curved edges

  Category: Edit ModePriority: MediumType: bug
  zxcalc/zxlive#592 · Filter by author AndreyBorisKhesin opened on Sep 2, 2026
  2

• Make it possible to check correctness of parametrised custom rules

  Priority: LowType: enhancement
  zxcalc/zxlive#591 · Filter by author jvdwetering opened on Aug 18, 2026
  1

• Custom rule creation doesn't complain that its semantically wrong

  Priority: MediumType: bug
  zxcalc/zxlive#589 · Filter by author jvdwetering opened on Aug 18, 2026

• Mac users have to go to security settings in order to open the ZXLive executable

  Priority: MediumType: enhancement
  zxcalc/zxlive#588 · Filter by author jvdwetering opened on Aug 18, 2026

• Mac users can't save patterns when they first open ZXLive

  Priority: HighType: bug
  zxcalc/zxlive#587 · Filter by author jvdwetering opened on Aug 18, 2026

• Add a "fault-equivalent" toggle for custom rules. If true, the rule should be available in the fault-equivalent mode.

  Category: Proof modePriority: MediumType: enhancement
  zxcalc/zxlive#586 · Filter by author RazinShaikh opened on Aug 17, 2026

• Proof mode gestures like fuse spiders, bialgebra (drag and drop vertices), or magic wand should not always be allowed in fault-equivalent mode

  Category: Proof modePriority: MediumType: bug
  zxcalc/zxlive#585 · Filter by author RazinShaikh opened on Aug 17, 2026

• Export proof to gif is not working

  Category: Proof modePriority: MediumType: bug
  zxcalc/zxlive#583 · Filter by author boldar99 opened on Aug 17, 2026

• Qubits incorrectly added for cregs when inputting qasm.

  Category: Edit ModePriority: MediumType: bug
  zxcalc/zxlive#582 · Filter by author boldar99 opened on Aug 17, 2026
  1

• Missing several basic rule previews

  Category: Proof modegood first issuePriority: MediumType: bug
  zxcalc/zxlive#555 · Filter by author RazinShaikh opened on Aug 4, 2026
  1

• Race condition in magic wand proof step animations

  Category: Proof modePriority: LowType: bug
  zxcalc/zxlive#552 · Filter by author 96-LB opened on Aug 3, 2026
  1

• The rewrite sometimes applies multiple times when clicked on the sidebar

  Category: Proof modePriority: MediumType: bug
  zxcalc/zxlive#519 · Filter by author RazinShaikh opened on May 8, 2026

• Scrolling around feels sluggish for large graphs

  Category: Edit ModeCategory: Proof modePriority: MediumType: bug
  zxcalc/zxlive#518 · Filter by author RazinShaikh opened on May 8, 2026

• Selecting large subgraphs in proof mode freezes the UI

  Category: Proof modePriority: HighType: bug
  zxcalc/zxlive#517 · Filter by author RazinShaikh opened on May 8, 2026

• Dragging many selected vertices is slow for large graphs

  Category: Edit ModeCategory: Proof modePriority: HighType: bug
  zxcalc/zxlive#516 · Filter by author RazinShaikh opened on May 8, 2026