Augusto Hack

For additional context: https://github.com/0xPolygonMiden/miden-vm/issues/1295 Any code that is parsed from bytes should be compiled, and if invalid, reading the file should fail.

Include the constant name for assert error messages

1

We are using `assert.err=` to give context for a given error. `` may be a integer or a constant, a failing assert like `assert.err=ERR_INVALID_NOTE_TYPE` will then result in an error...

Forbid reserved words in procedures names

1

This assembles and runs: ``` proc.exec push.1 end begin exec.exec end ``` It works because the namespaces are no shared, but it is odd that this works. To avoid confusion...

Currently the miden-base has to maintain the corresponding values for constants in masm and rust source code by hand. This is both inconvenient and error prone. To make the development...

Support contants with `eq` instruction.

2

This is useful when testing for enum value, e.g.: ``` eq.PUBLIC_NOTE assert ```