Code

chore: bump Lean to v4.9.0#119

Code

Merged

abdoo8080 merged 5 commits intoufmg-smite:mainufmg-smite/lean-smt:mainfrom joewatt95:v4.9.0Copy head branch name to clipboardJul 8, 2024

+28-22

Commits

Commits on Jul 6, 2024

• bump Lean to v4.9.0

  joewatt95

  committed
  7c078b3

  Copy full SHA for 7c078b3

• Fix compilation of Smt.Real

  joewatt95

  committed
  10f0a80

  Copy full SHA for 10f0a80

• Fix expected outputs of most test cases

  joewatt95

  committed
  18e5094

  Copy full SHA for 18e5094

• import Real.Star instead of Real.Basic

  joewatt95

  committed
  23723c1

  Copy full SHA for 23723c1

Commits on Jul 7, 2024

• Revert import Real.Star -> Real.Basic, update test case to reflect failure

  joewatt95

  committed
  dff5fb8

  Copy full SHA for dff5fb8