Issues

• Vest accepts specifications that produce Rust which does not compile

  bugDSL
  secure-foundations/vest#60 · Filter by author ahemtiaz opened on Nov 8, 2026

• Compiler does not terminate (code generation hangs) on a small input

  bugDSL
  secure-foundations/vest#59 · Filter by author ahemtiaz opened on Nov 8, 2026
  1

• Compiler panics on a range of inputs

  bugDSL
  secure-foundations/vest#58 · Filter by author ahemtiaz opened on Nov 8, 2026
  1

• vest_asn1 codegen: SET … OF / SEQUENCE … OF emits a provably-false asn1_start assertion

  ASN.1bug
  secure-foundations/vest#56 · Filter by author gshaurya18 opened on Nov 2, 2026
  1

• Feature request: two byte variable-length integer

  enhancementvest_lib
  secure-foundations/vest#51 · Filter by author andrewhop opened on Sep 25, 2026

• Overhead on nested combinators

  enhancement
  secure-foundations/vest#46 · Filter by author donporter opened on May 15, 2026
  2

• Provide explicit borrowed-view vs owned-copy APIs

  enhancement
  secure-foundations/vest#42 · Filter by author Hihi142 opened on Apr 13, 2026
  1

• Add additional debug information to errors

  enhancement
  secure-foundations/vest#37 · Filter by author ajrudzitis opened on Jan 20, 2026
  1