Wolfgang Grieskamp comments

Results 197 comments of


                                            Wolfgang Grieskamp

Fix error messages mangled by unicode

Is this still active?

[github] Fix and move prover-inconsistency-test

> So, would the next course of action be, that I will move the test back to daily and fix it properly? ( @wrwg & @junkil-park ) Yes please!

[github] Fix and move prover-inconsistency-test

Wondering whether this PR is still relevant. @junkil-park can we get nightly consistency tests back for the prover?

Print type tags in Debug::print

Is this still active?

Trim errmap doc strings

This was done now in the aptos repo (which has a copy of error map gen).

[Feature Request] Make VM parametric in event format

Yeah same here. And in fact it was already killed by moving `event` to the nursery (ahem graveyard)

[Move] Ban `public entry` functions that accept structs as arguments

It is on my todo list.

[Move] Ban `public entry` functions that accept structs as arguments

This is already banned since a while.

[move prover] add unchecked subtraction

Closing as we aren't moving forward with this. Feel free to reopen if this is the wrong call.

[move VM API's] Public API for passing structured values into the VM and observing changes

Here are some thoughts from a safety viewpoint, which also fits well with the semantics the prover assumes. Our problem is that we want to let some external untrusted entity...