Code

Reorganize the Lean backend#419

Code

Merged

sonmarcho merged 6 commits intomainAeneasVerif/aeneas:mainfrom son/lean1AeneasVerif/aeneas:son/lean1Copy head branch name to clipboardJan 17, 2025

+441-319

Commits

Commits on Jan 17, 2025

• Rename the Lean package to "Aeneas" and the "Primitives" module to "Std"

  sonmarcho

  committed
  5ac573d

  Copy full SHA for 5ac573d

• Fix the tests

  sonmarcho

  committed
  e021241

  Copy full SHA for e021241

• Rename Aeneas.Arith to Aeneas.ScalarTac and move ScalarNF.lean

  sonmarcho

  committed
  8b22824

  Copy full SHA for 8b22824

• Rename Aeneas/ScalarTac/Lemmas.lean to Aeneas/Arith/Lemmas.lean

  sonmarcho

  committed
  884c3c0

  Copy full SHA for 884c3c0

• Remove Aeneas/Core.lean

  sonmarcho

  committed
  b13c902

  Copy full SHA for b13c902

• Use "Core" intead of "Base" in the Lean module names

  sonmarcho

  committed
  08592ab

  Copy full SHA for 08592ab