Code

Higher order functions#30

Code

Merged

utkn merged 22 commits intomainreilabs/lampe:mainfrom us/lens-supportreilabs/lampe:us/lens-supportCopy head branch name to clipboardJan 8, 2025

+383-326

Commits

Commits on Dec 26, 2024

• initial commit

  utkn

  committed
  c729ab4

  Copy full SHA for c729ab4

• calldecl support and example proof

  utkn

  committed
  e977b28

  Copy full SHA for e977b28

• array slice tuple access

  utkn

  committed
  6e1e027

  Copy full SHA for 6e1e027

• small change

  utkn

  committed
  0a0717a

  Copy full SHA for 0a0717a

• moved Member and related definitions to Struct builtin file

  utkn

  committed
  30e0e9e

  Copy full SHA for 30e0e9e

• lens assignment

  utkn

  committed
  5aaf371

  Copy full SHA for 5aaf371

Commits on Dec 27, 2024

• Merge branch 'main' into us/tuple-support

  utkn

  authored
  d1a1d1f

  Copy full SHA for d1a1d1f

• small fixes

  utkn

  committed
  c65feaa

  Copy full SHA for c65feaa

Commits on Dec 28, 2024

• proofs fixed

  utkn

  committed
  cd05bac

  Copy full SHA for cd05bac

• Merge branch 'main' of https://github.com/reilabs/lampe into us/lens-support

  utkn

  committed
  c8fb45c

  Copy full SHA for c8fb45c

• Merge branch 'us/tuple-support' of https://github.com/reilabs/lampe into us/lens-support

  utkn

  committed
  34c6f1f

  Copy full SHA for 34c6f1f

Commits on Dec 30, 2024

• lens builtins re-added

  utkn

  committed
  adc56ba

  Copy full SHA for adc56ba

• lens updates

  utkn

  committed
  f5901d1

  Copy full SHA for f5901d1

Commits on Dec 31, 2024

• significant lens improvements. tuple proofs automatically solved

  utkn

  committed
  cb8587a

  Copy full SHA for cb8587a

• Merge branch 'main' of https://github.com/reilabs/lampe into us/lens-support

  utkn

  committed
  8174335

  Copy full SHA for 8174335

• fixes after merge

  utkn

  committed
  e99d270

  Copy full SHA for e99d270

• lens updates

  utkn

  committed
  62bcd8e

  Copy full SHA for 62bcd8e

• getLens builtin

  utkn

  committed
  7421642

  Copy full SHA for 7421642

• getLens integrated into the syntax.

  utkn

  committed
  1ee899e

  Copy full SHA for 1ee899e

Commits on Jan 1, 2025

• array and slice lens proofs

  utkn

  committed
  42277b5

  Copy full SHA for 42277b5

Commits on Jan 8, 2025

• Higher order functions (#29)

  utkn

  authored
  4b4aba4

  Copy full SHA for 4b4aba4

• Merge branch 'main' of https://github.com/reilabs/lampe into us/lens-support

  utkn

  committed
  d63f470

  Copy full SHA for d63f470