Paul Schoenfelder

Results 36 issues of Paul Schoenfelder

As part of my efforts to build a first-class debugging experience, there are two key ingredients we are missing that I've sketched out, but need to take further and develop...

assembly
debugging

Currently, when the assembler is assembling a library or program, the `MastForestBuilder` is constructed with the set of statically-linked libraries, whose code (when referenced) will be copied into the final...

assembly

### What should be done? The `ParseOptions` struct is used by the `Parse` trait to allow callers of `compile_and_link_statically` to override certain parser options. It was initially created quite some...

assembly

Tangentially related to #1744, I have two (three?) issues with some details around the operand stack and related instructions: 1. The `sdepth` instruction is virtually useless, as it doesn't tell...

documentation
assembly
air
debugging

During the review cycle for type signature syntax introduced in v0.18, there was some discussion around being more explicit about the syntax for blocks. This issue is to open discussion...

assembly

Split off from #2071 This PR implements a prototype implementation of a new binary serialization format based on serde, which I've called BITE, see the miden-bite crate for more info.