Issues

• Add a flag to disable instruction source position tracking (#instrWithPos) for better prover performance

  enhancement
  runtimeverification/komet#132 · Filter by author bbyalcinkaya opened on Oct 14, 2026

• How to accomodate Stellar Asset Contract calls in test setup

  runtimeverification/komet#90 · Filter by author aolieman opened on Jul 31, 2025

• Constructor Support

  enhancement
  runtimeverification/komet#89 · Filter by author aolieman opened on Jul 29, 2025
  2

• Implement Soroban Auth Framework

  runtimeverification/komet#75 · Filter by author bbyalcinkaya opened on Apr 15, 2025

• Add assume cheatcode to restrict fuzzing inputs

  enhancement
  runtimeverification/komet#74 · Filter by author bbyalcinkaya opened on Apr 9, 2025

• Host Functions

  runtimeverification/komet#28 · Filter by author bbyalcinkaya opened on Aug 20, 2024

• Current tooling for testing and verification on Soroban / Stellar

  runtimeverification/komet#4 · Filter by author dkcumming opened on May 11, 2024