Issues

• provenance tracking for memory regions

  leanprover/LNSym#162 · Filter by author bollu opened on Sep 18, 2024

• simp_mem failure with GCMGmultV8

  leanprover/LNSym#154 · Filter by author shigoel opened on Sep 13, 2024
  1

  

• Use Vector type for AES-GCM specification

  leanprover/LNSym#146 · Filter by author pennyannn opened on Sep 6, 2024

• Add sections into Arm/Insts/Common.lean

  leanprover/LNSym#139 · Filter by author bollu opened on Sep 4, 2024
  

• Elab and delab for ARM instructions

  leanprover/LNSym#121 · Filter by author bollu opened on Aug 26, 2024

• Experiment: Use r for accessing the program field, which solves program being public.

  leanprover/LNSym#55 · Filter by author bollu opened on Aug 2, 2024

• ELF Parser in Lean

  help wanted
  leanprover/LNSym#18 · Filter by author shigoel opened on Feb 22, 2024
  34