move-language / move

Apache License 2.0
2.24k stars 676 forks source link

Pushing Move-on-aptos upstream #1113

Closed wrwg closed 2 months ago

wrwg commented 2 months ago

This PR contains commits from aptos-core over the last 9 months and brings the aptos-main branch up-to-date to get ready for forking.

The Cargo.toml has been updated to contain workspace dependencies as now used by the Move code.

There are some fixes in the code which had to be done to make things compile, specifically an invalid reference to a prover prelude file in aptos-core from the prover code