Code

feat: add address normalization#184

Code

Closed

bollu wants to merge 12 commits intomainleanprover/LNSym:mainfrom address-normalizationleanprover/LNSym:address-normalizationCopy head branch name to clipboard

+1,370-317

Commits

Commits on Sep 23, 2024

• feat: add address normalization

  bollu

  committed
  b0c6e2b

Commits on Sep 24, 2024

• chore: add mem_omega

  bollu

  committed
  5932cec

• chore: add omega info

  bollu

  committed
  b3c8f74

• chore,hack: add memcpy into address-normalization for 'make-all' testing.

  bollu

  committed
  3000301

• chore: try to call omega by code, fail miserably

  bollu

  committed
  ab3a903

• chore: checkpoint

  bollu

  committed
  bebd8c4

• chore: trying to write address normalization in terms of simp lemmas. Doesn't seem to work?

  bollu

  committed
  3c6d2eb

• chore: add address normalizer for addition expressions.

  bollu

  committed
  6945443

• feat: use simp manually

  Show description for db361ab
  bollu

  committed
  db361ab

• chore:simp_mem -> mem_omega

  bollu

  committed
  6fcdc24

• gotta debug why we are unable to run properly

  bollu

  committed
  e737213

Commits on Sep 25, 2024

• chore: take stock of what I've changed, not sure why it's no longer equivalent to baseline

  bollu

  committed
  2eff8cd