Marco Stronati

I got another addon rejected because of 1). The proposed solution for 1) was rejected by an AMO reviewer, he said: > The module will need to include the sources...

Yes, this issue was linked and I explained it was a workaround for a bug in the sdk. The reviewer claims that the sdk supports loading resource files and, if...

I think I stumbled on a similar case but caused by the `let ... in` expression: ``` // this works let p_t = unit -> unit let apply (p:p_t) a...

Trying to understand if we care about vendoring a source library or a compiled library. Currently the following API can be used to populate the assembler: - `add_library` : takes...

It could be the case that my library `B` adds more functionalities to library `A`, so I want to export all the procedures of `A` and add the ones in...

After a bit more investigating, the problem is that the only persistent structure in the assembler is the module graph which only takes "source" modules, so there is no easy...

You are right that merging two libraries is just the union. If we are assembling a library A and we want to vendor into it library B, we won't get...

I gave it a go here https://github.com/0xPolygonMiden/miden-vm/pull/1643 Like discussed above, the user can use `vendor_library` to append compiled libraries to the assembler. Once `assemble_{program,library}` is called, the resulting MAST is...

@andricicezar mentioned this related issue https://github.com/FStarLang/FStar/issues/2163