Augusto Hack
Augusto Hack
The masm backend and the stdlib are both computing `z^trace_len`. The two should be merged together. [ref](https://github.com/0xPolygonMiden/air-script/pull/319#discussion_r1236030708)
The instruction would load an quadratic extension element from memory, multiply it against the quadratic element on top of the stack, and then add to the the next element in...
Using this sample program: ``` begin adv.keyval end ``` Causes the VM to fail with: ``` thread 'main' panicked at 'internal error: entered unreachable code', assembly/src/assembler/span_builder.rs:154:13 ``` On latest `next`...
Some operations expect the stack to be in reverse order, so it can be useful to have an instruction to change the stack as follows: ``` [a,b,c,d] -> [d,c,b,a] [a,b,c,d,...
A common while pattern is to write: ``` while.true ... end ``` This causes a bit of duplication, since the same test has to be replicated prior to the while,...
As part of https://github.com/0xPolygonMiden/miden-vm/issues/646 and https://github.com/0xPolygonMiden/miden-vm/issues/653 the instructions `mtree_set` and `mtree_cwm` had their output formats changed. This was done via the assembler, which introduces a couple of new core vm...
# Feature request Quite often when writing MASM we have to move multiple elements around and drop them. To do that it would be useful for the `drop` opcode to...
# Feature request It seems all the opcodes that modify the stack use immediate values. So it should be possible to track of a value in the stack, and compute...
# Feature request At the moment, trying to specify a procedure on the REPL results in the following error: ``` >> proc.test.0 push.1 end Error running program: AssemblyError(ParsingError("unexpected body termination:...
# Feature request Report the opcode position in addition to the cycle at which the VM failed. For example, with this assembly: ``` begin push.20 dup neq.0 while.true sub.1 dup...