Code

Attempt to fix #21#27

Code

Open

eric-wieser wants to merge 5 commits intomasterleanprover-community/quote4:masterfrom eric-wieser/fix-returnleanprover-community/quote4:eric-wieser/fix-returnCopy head branch name to clipboard

+74-22

Commits

Commits on Nov 15, 2023

• Attempt to fix #21

  eric-wieser

  committed
  ada7193

  Copy full SHA for ada7193

• add more testcases

  eric-wieser

  committed
  c8e607a

  Copy full SHA for c8e607a

• cleanup

  eric-wieser

  committed
  17ab35d

  Copy full SHA for 17ab35d

Commits on Feb 5, 2024

• Merge remote-tracking branch 'origin/master' into eric-wieser/fix-return

  eric-wieser

  committed
  b3b594b

  Copy full SHA for b3b594b

• whitespace

  eric-wieser

  committed
  008fb17

  Copy full SHA for 008fb17