Code

feat: test_extern command#2970

Code

Merged

kim-em merged 12 commits intomasterleanprover/lean4:masterfrom test_externleanprover/lean4:test_externCopy head branch name to clipboardDec 13, 2023

+101

Commits

Commits on Dec 12, 2023

• feat: test_extern command

  kim-em

  committed
  31c6c2f

  Copy full SHA for 31c6c2f

• test

  kim-em

  committed
  b216272

  Copy full SHA for b216272

• add pkg test

  kim-em

  committed
  0cde6a3

  Copy full SHA for 0cde6a3

• precompileModules

  kim-em

  committed
  6cf3705

  Copy full SHA for 6cf3705

• full test

  kim-em

  committed
  0d65443

  Copy full SHA for 0d65443

• remove linker flags

  kim-em

  committed
  08f4439

  Copy full SHA for 08f4439

• typo in test

  kim-em

  committed
  6ed832a

  Copy full SHA for 6ed832a

• normalize path separator, apology

  kim-em

  committed
  10b30bc

  Copy full SHA for 10b30bc

• syntax error in script

  kim-em

  committed
  be646ca

  Copy full SHA for be646ca

• fix test

  kim-em

  committed
  b841afb

  Copy full SHA for b841afb

• import in Lean.Util

  kim-em

  committed
  80082a1

  Copy full SHA for 80082a1

• when doing path separator munging, ignore platform specific line endings

  kim-em

  committed
  768ed23

  Copy full SHA for 768ed23