0xMiden / 0xMiden/miden-vm

Changing the CLI input file format to use `.toml` files

Ouverte
#1,698 2 commentaires 2 réactions 0 personnes assignées Voir sur GitHub
Langage dominant
Rust
Étoiles
772
Forks
352
Merge moyen
1 j 12 h
PR mergées (30 j)
93

Description

The MidenVM CLI uses a different file format to handle inputs to the VM. The CLI uses a JSON format with a `.inputs` file extension. The Miden compiler uses a slightly different `.toml` file extention format.

I wrote a basic tutorial of how to use the compiler here: https://github.com/0xPolygonMiden/miden-tutorials/pull/26/files?short_path=86b1b8d#diff-86b1b8d67d7b5c302b4154bb3158c58928fcc0688ff0e1b0705dc50ce950ccb1

In this tutorial I have to explain to the reader to create a new input file, which seems a bit clunky.

The miden compiler input file format looks like this:
```toml
[inputs]
stack = [2147482583]
```

Whereas the MidenVM file format looks like this:
```json
{
"operand_stack": ["2147482583"]
}
```

By making the MidenVM use the same input file format this would unify the input file formats of the VM and compiler.

Guide de contribution

Ouvrir le guide de contribution

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.