Code

Generate lake project#4748

Code

Merged

automergerpr-permission-manager[bot] merged 11 commits intodevelopruntimeverification/k:developfrom klean-generateruntimeverification/k:klean-generateCopy head branch name to clipboardJan 31, 2025

+737-116

Commits

Commits on Jan 30, 2025

• Add cookiecutter as a runtime dependency

  tothtamas28

  committed
  fd2ee67

  Copy full SHA for fd2ee67

• Rename module k2lean4 to klean

  tothtamas28

  committed
  b66c87a

  Copy full SHA for b66c87a

• Add cookiecutter template for the lake project

  tothtamas28

  committed
  3825b6d

  Copy full SHA for 3825b6d

• Move Prelude.lean into the template

  tothtamas28

  committed
  36a62fd

  Copy full SHA for 36a62fd

• Set maxHeartbeats, adjust Prelude namespaces

  tothtamas28

  committed
  e743df9

  Copy full SHA for e743df9

• Add module generate

  tothtamas28

  committed
  eaee622

  Copy full SHA for eaee622

• Fix project_to_rewrites

  tothtamas28

  committed
  e15d3c2

  Copy full SHA for e15d3c2

• Fix rewrite constructor identifier

  tothtamas28

  committed
  e9f5a6b

  Copy full SHA for e9f5a6b

• Add integration test

  tothtamas28

  committed
  847671d

  Copy full SHA for 847671d

• Install elan in CI image

  tothtamas28

  committed
  21a244f

  Copy full SHA for 21a244f

• Update mvnHash

  tothtamas28

  committed
  f62266a

  Copy full SHA for f62266a