Issues

• Cleanups/Stylistic suggestions from #165

  AeneasVerif/kraken#191 · Filter by author sgraf812 opened on Oct 12, 2026
  4

• Define a Trusted / Untrusted Split for Kraken to make OSS Community Contributions more efficient.

  documentation
  AeneasVerif/kraken#163 · Filter by author aferr opened on Sep 25, 2026

• arm: pretty-print instruction listings

  AeneasVerif/kraken#162 · Filter by author zrlk opened on Sep 22, 2026
  

• Tag more lemmas with @[kstep]?

  AeneasVerif/kraken#149 · Filter by author protz opened on Aug 10, 2026

• kstep performance issues

  automation
  AeneasVerif/kraken#147 · Filter by author protz opened on Aug 10, 2026
  1

• kstep needs to simp harder

  automation
  AeneasVerif/kraken#146 · Filter by author protz opened on Aug 10, 2026
  1

• Improve kstep to be able to simplify conditions of if-then-elses

  automation
  AeneasVerif/kraken#143 · Filter by author protz opened on Aug 10, 2026

• Upstream some of our lemmas to Lean

  good first issue
  AeneasVerif/kraken#142 · Filter by author protz opened on Aug 10, 2026
  

• Process for upstreaming code to Stdlib

  AeneasVerif/kraken#123 · Filter by author andres-erbsen opened on Jul 10, 2026

• Tests for parseLine

  AeneasVerif/kraken#111 · Filter by author samuelgruetter opened on May 6, 2026
  5

• Support Testing of Assembly Functions Intended to be called from C

  AeneasVerif/kraken#94 · Filter by author aferr opened on Apr 22, 2026
  3

• Dynamic memory ownership enforcement?

  AeneasVerif/kraken#92 · Filter by author andres-erbsen opened on Apr 21, 2026
  3

• [track] SymM resources

  AeneasVerif/kraken#91 · Filter by author andres-erbsen opened on Apr 20, 2026
  2

• source code formatting

  AeneasVerif/kraken#47 · Filter by author protz opened on Apr 1, 2026
  2

• AES & SHA Instructions

  AeneasVerif/kraken#42 · Filter by author andres-erbsen opened on Mar 27, 2026

• [tracking issue] Separation logic for memory

  AeneasVerif/kraken#41 · Filter by author andres-erbsen opened on Mar 27, 2026
  3

• Fix Broken Proof of Example p3

  AeneasVerif/kraken#18 · Filter by author aferr opened on Mar 5, 2026

• [track] Parsing & reprinting

  AeneasVerif/kraken#5 · Filter by author andres-erbsen opened on Mar 3, 2026
  2