Code

Fix dc example#567

Code

Merged

luisacicolini merged 6 commits intomainopencompl/lean-mlir:mainfrom fix-dc-exampleopencompl/lean-mlir:fix-dc-exampleCopy head branch name to clipboardAug 27, 2024

+16-27

Commits

Commits on Aug 25, 2024

• fixed example

  luisacicolini

  committed
  0d7d681

  Copy full SHA for 0d7d681

• fixed test

  luisacicolini

  committed
  1b4dfb2

  Copy full SHA for 1b4dfb2

Commits on Aug 26, 2024

• updated ci

  luisacicolini

  committed
  18102fb

  Copy full SHA for 18102fb

• more elegant splitOn

  luisacicolini

  committed
  78e4876

  Copy full SHA for 78e4876

• Update .github/workflows/ci.yml

  Show description for 7140df8
  

  luisacicolini

  and

  tobiasgrosser

  authored
  7140df8

  Copy full SHA for 7140df8

• fixed comments, added unseal to set splitOnAux to semired

  luisacicolini

  committed
  b0ae680

  Copy full SHA for b0ae680