0xMiden/miden-vm

Rename `ModuleInfo`

Open

#2,928 opened on Mar 27, 2026

View on GitHub
 (4 comments) (0 reactions) (1 assignee)Rust (303 forks)github user discovery
assemblygood first issueon hold

Repository metrics

Stars
 (753 stars)
PR merge metrics
 (PR metrics pending)

Description

Possible options: ModuleManifest, ModuleDescriptor, ModuleMetadata. My personal preference would be either "descriptor" or "metadata" (with a slight preference towards "descriptor").

This is to be done after https://github.com/0xMiden/miden-vm/pull/2877 is merged.

Context https://github.com/0xMiden/miden-vm/pull/2877#discussion_r2997319102

Contributor guide