Code

Add peephole optimization#45

Code

Merged

caldwellb merged 28 commits intoPOPL25inQWIRE/VyZX:POPL25from circuit-proofinQWIRE/VyZX:circuit-proofCopy head branch name to clipboardJul 12, 2024

+1,307-202

Commits

Commits on Apr 3, 2024

• Add assoc counting script

  adrianleh

  committed
  1565d3d

  Copy full SHA for 1565d3d

Commits on Jul 8, 2024

• First pass circuit proof from diagrammatic proof

  caldwellb

  committed
  7d32890

  Copy full SHA for 7d32890

• Add uc_WT automation

  adrianleh

  committed
  a872c15

  Copy full SHA for a872c15

• Add uc_WT automation

  adrianleh

  committed
  3279ad9

  Copy full SHA for 3279ad9

Commits on Jul 9, 2024

• Added notation to make writing lemmas straightforward

  caldwellb

  committed
  90501b1

  Copy full SHA for 90501b1

• Added to automation for converting diagrams, swap flipping

  caldwellb

  committed
  eb810e2

  Copy full SHA for eb810e2

• Generalize pi copy

  adrianleh

  committed
  29cb23c

  Copy full SHA for 29cb23c

• Generalize 2_PI spider rule to ints instead of nats

  adrianleh

  committed
  8cf2725

  Copy full SHA for 8cf2725

• fig 4 nam

  adrianleh

  committed
  6b3c364

  Copy full SHA for 6b3c364

• fig 5 nam 1,3

  adrianleh

  committed
  993d80d

  Copy full SHA for 993d80d

Commits on Jul 10, 2024

• Merge POPL submission

  adrianleh

  committed
  5694980

  Copy full SHA for 5694980

• Save my sanity by commenting out slow solve_props

  adrianleh

  committed
  16602ed

  Copy full SHA for 16602ed

• Merge remote-tracking branch 'origin/assoc-automation' into circuit-proof

  adrianleh

  committed
  eeb540b

  Copy full SHA for eeb540b

• Improve assoc_count.py for paper number generation]

  adrianleh

  committed
  4ff9104

  Copy full SHA for 4ff9104

• Improve assoc_count.py to consider do n (tac) a repeat app

  adrianleh

  committed
  66773f5

  Copy full SHA for 66773f5

• Improve assoc_count.py to not use ANSI on windows

  adrianleh

  committed
  a60b9fa

  Copy full SHA for a60b9fa

• Add basic proofs for peephole

  adrianleh

  committed
  edb0095

  Copy full SHA for edb0095

• Fix h_reduction_{4,5}

  adrianleh

  committed
  56bc148

  Copy full SHA for 56bc148

Commits on Jul 11, 2024

• Pass at cnot commutation via top_to_bottom_big_yank_l

  caldwellb

  committed
  12af1f5

  Copy full SHA for 12af1f5

• Add missing changes

  adrianleh

  committed
  96c04e4

  Copy full SHA for 96c04e4

• Peephole progress

  adrianleh

  committed
  fffcd86

  Copy full SHA for fffcd86

• Clean up Nam H proofs by adding conj_diagrams

  adrianleh

  committed
  04fabc5

  Copy full SHA for 04fabc5

• Add comm_4

  adrianleh

  committed
  b651411

  Copy full SHA for b651411

• Add comm_5

  adrianleh

  committed
  23fc883

  Copy full SHA for 23fc883

Commits on Jul 12, 2024

• Add comm_6

  adrianleh

  committed
  658c655

  Copy full SHA for 658c655

• Refactor: Extract basic rules from peephole, solve cnot admitteds, remove aborts

  adrianleh

  committed
  a0201ce

  Copy full SHA for a0201ce

• Force quantumlib to not be 1.5.0

  adrianleh

  committed
  b66eaff

  Copy full SHA for b66eaff

• try to pin to qlib 1.3.0

  caldwellb

  committed
  ca2383d

  Copy full SHA for ca2383d