Paul Schoenfelder

I want to note that this basically can be seen as a subset of a more general context switching function - fundamentally what we're doing here is going `A ->...

The compiler supports path remapping of debug info, which allows you to make the paths relative and thus portable. The key thing is having the sources in a predictable location...

We can't guarantee that the debug info is always present, but I do agree that issuing a warning when it isn't available (or can't be loaded from the path contained...

Personally, I use [the debugger](https://github.com/0xPolygonMiden/compiler/blob/next/midenc-debug/README.md) I built for debugging programs emitted by the compiler. Once `miden-package` is landed here, we should be able to move `midenc-debug` into this repo, or...

Technically, that option would still exist, it would just be handled by the Miden equivalent of `strip`. I think either approach is fine though.

FYI, this is addressed in #1277, for all instructions with immediate arguments 🙂

I believe I addressed this one specifically, yes. I don't think there are any instructions lacking support for constant operands now, but if there are, it's trivial to enable it...

I think this would be better solved by having proper source-level debug information associated with a program, which I think should be a pretty high priority in general because of...

@PhilippGackstatter I agree that having a way to convert error codes to meaningful descriptions of what they mean is hugely helpful! I think one example of doing this well, is...

My recommendation would be to require the long option for `--hash` with no short equivalent. In general, with command-line interfaces, a couple rules apply IMO: * Principle of least-surprise -...