Search results

[Prover] issues with pairs in spec

bugSomething isn't workingSomething isn't working

move-prover

Status: Open.

#684 In move-language/move;

· junkil-park opened on Nov 21, 2022

[Move Prover] Move prover returns: cannot extract version from <code>Users/username/.dotnet/tools/boogie</code>

move-prover

Status: Open.

#534 In move-language/move;

· junkil-park opened on Oct 3, 2022

[Move Prover] Incomplete display of havocked variables

move-prover

Status: Open.

#474 In move-language/move;

· junkil-park opened on Sep 12, 2022

[move-prover] Unpredictable behavior with different vector lengths

move-prover

Status: Open.

#217 In move-language/move;

· jyao15 opened on Jun 22, 2022

[move-prover] Ghost parameter for verification

move-prover

Status: Open.

#216 In move-language/move;

· jyao15 opened on Jun 21, 2022