Issues

• [FEATURE] Structured control-flow backend: emit idiomatic Rust instead of the state machine

  enhancement
  arnoox/herkos#42 · Filter by author arnoox opened on Sep 13, 2026

• Re-Introduce Global Copy Propagation with Safe Data-Flow Analysis

  arnoox/herkos#33 · Filter by author arnoox opened on Mar 26, 2026

• Run Kani in CI

  arnoox/herkos#9 · Filter by author arnoox opened on Feb 26, 2026

• Support for Multi-value blocks

  arnoox/herkos#6 · Filter by author arnoox opened on Feb 24, 2026

• C ABI wrapper generation

  arnoox/herkos#5 · Filter by author arnoox opened on Feb 24, 2026

• Transpilation performance optimization

  arnoox/herkos#4 · Filter by author arnoox opened on Feb 24, 2026

• Runtime Performance and Optimization

  arnoox/herkos#3 · Filter by author arnoox opened on Feb 24, 2026
  

• WASI basic support

  arnoox/herkos#2 · Filter by author arnoox opened on Feb 24, 2026