Code

feat!: Add lexicographic cost#270

Code

Merged

lmondada merged 12 commits intomainCQCL/tket2:mainfrom feat/lexicocostCQCL/tket2:feat/lexicocostCopy head branch name to clipboardDec 14, 2023

+101-54

Commits

Commits on Dec 14, 2023

• feat!: Add lexicographic cost

  lmondada

  committed
  773bc5f

  Copy full SHA for 773bc5f

• Satisfy clippy

  lmondada

  committed
  0d3686d

  Copy full SHA for 0d3686d

• Prettify zip

  lmondada

  committed
  6312587

  Copy full SHA for 6312587

• Add coverage

  lmondada

  committed
  1a183b0

  Copy full SHA for 1a183b0

• Merge branch 'main' into feat/lexicocost

  lmondada

  committed
  e18a44f

  Copy full SHA for e18a44f

• Update tket2/src/circuit/cost.rs

  Show description for 19eb5b2
  

  lmondada

  and

  aborgna-q

  authored
  19eb5b2

  Copy full SHA for 19eb5b2

• (,) -> [,]

  lmondada

  committed
  c688bc6

  Copy full SHA for c688bc6

• Remove unused import

  lmondada

  committed
  17cf662

  Copy full SHA for 17cf662

• chore!: hike MSRV to 1.71

  lmondada

  committed
  851421d

  Copy full SHA for 851421d

• revert: "(,) -> [,]"

  Show description for 8684bc9
  lmondada

  committed
  8684bc9

  Copy full SHA for 8684bc9

• Merge branch 'chore/rust1-71' into feat/lexicocost

  lmondada

  committed
  89545c6

  Copy full SHA for 89545c6

• Merge branch 'main' into feat/lexicocost

  lmondada

  authored
  033af32

  Copy full SHA for 033af32