Issues

• Tuple indexing unsupported for writes

  bug
  AeneasVerif/eurydice#430 · Filter by author cjpopova opened on Jul 7, 2026
  1

• Vec extraction is not working due to TryReserveError

  AeneasVerif/eurydice#422 · Filter by author robinhundt opened on Jun 5, 2026

• Signed operations in the glue on unsigned integers generate warnings

  bug
  AeneasVerif/eurydice#413 · Filter by author franziskuskiefer opened on May 29, 2026

• eurydice_glue requires C++20

  bug
  AeneasVerif/eurydice#412 · Filter by author franziskuskiefer opened on May 29, 2026
  3

• Functions from dependency not specified in config.yaml lead to invalid C extraction

  AeneasVerif/eurydice#409 · Filter by author robinhundt opened on May 28, 2026
  3

• Memory leak on edge condition in reallocation -- general behavior of allocation functions?

  ai-generated needs triage
  AeneasVerif/eurydice#393 · Filter by author protz opened on Apr 7, 2026

• Fix allocation functions to catch allocation overflow

  bug
  AeneasVerif/eurydice#392 · Filter by author protz opened on Apr 7, 2026

• Eurydice does not match Rust's panic behavior

  ai-generated needs triage
  AeneasVerif/eurydice#391 · Filter by author protz opened on Apr 7, 2026

• core_num__u64__rotate_left is UB when shift >= 64

  bug
  AeneasVerif/eurydice#390 · Filter by author protz opened on Apr 7, 2026

• Correctness issues in the AI-generated fallback implementation of uint128

  ai-generated needs triage
  AeneasVerif/eurydice#389 · Filter by author protz opened on Apr 7, 2026
  2

• Bug: Wrong case of expression_of_fn_ptr

  bug
  AeneasVerif/eurydice#355 · Filter by author ssyram opened on Nov 26, 2025
  4

• Bug: Type erasure vs Complex chain

  bug
  AeneasVerif/eurydice#335 · Filter by author ssyram opened on Nov 11, 2025
  1

• Bug: Empty Closure for External Functions

  bug
  AeneasVerif/eurydice#329 · Filter by author ssyram opened on Nov 7, 2025
  1

• Bug: function pointer as generic FnMut

  bug
  AeneasVerif/eurydice#325 · Filter by author ssyram opened on Nov 6, 2025

• Eliminate hand-written macros when possible

  enhancement
  AeneasVerif/eurydice#316 · Filter by author protz opened on Oct 30, 2025

• Cleanup2 could be greatly simplified with the new representation of arrays

  enhancement
  AeneasVerif/eurydice#315 · Filter by author protz opened on Oct 30, 2025

• array_to_subslice3 was not restored following the DST PR

  enhancement
  AeneasVerif/eurydice#312 · Filter by author protz opened on Oct 28, 2025
  2

• Generic Global Variables

  bug
  AeneasVerif/eurydice#311 · Filter by author ssyram opened on Oct 28, 2025
  5

• Reconstruct update in place operators like +=

  enhancement
  AeneasVerif/eurydice#281 · Filter by author sonmarcho opened on Sep 16, 2025
  2

• Migrating to Monomorphised LLBC

  AeneasVerif/eurydice#257 · Filter by author ssyram opened on Aug 7, 2025

• Honor alignment directives in general, and specifically in the implementation of Vec

  enhancement
  AeneasVerif/eurydice#240 · Filter by author msprotz opened on Jul 17, 2025

• Handle ZSTs better, notably in the implementation of Vec

  enhancement
  AeneasVerif/eurydice#239 · Filter by author msprotz opened on Jul 17, 2025
  1

• Currying type translation error

  bug
  AeneasVerif/eurydice#179 · Filter by author ssyram opened on Apr 11, 2025
  4

• Rust std::println! still not properly supported in the generated code

  bug
  AeneasVerif/eurydice#162 · Filter by author ssyram opened on Mar 24, 2025
  17

• Make items not covered by the config private

  enhancement
  AeneasVerif/eurydice#35 · Filter by author franziskuskiefer opened on Jun 28, 2024