Closes: #7664

…pipeline step.

Closes: #7661

…mage has one giant layer for all tooling right where gha expects it.

Closes: #7660

The previous behavior of this function was to error out on being called
more than once. Restore that behavior while not introducing unsafe code.

There's a separate function `diem_trace_set` whose behavior didn't
change -- it would return true if in INITIALIZED status, which is what
the current function does as well.

Closes: #7667

Closes: #7652

Changing all references of Coin1 to XUS

Closes: #7653

Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.11.0 to 0.11.1.
- [Release notes](https://github.com/seanmonstar/reqwest/releases)
- [Changelog](https://github.com/seanmonstar/reqwest/blob/master/CHANGELOG.md)
- [Commits](seanmonstar/reqwest@v0.11.0...v0.11.1)

Signed-off-by: dependabot[bot] <[email protected]>
Closes: #7672

Closes: #7666

Bumps [url](https://github.com/servo/rust-url) from 2.2.0 to 2.2.1.
- [Release notes](https://github.com/servo/rust-url/releases)
- [Commits](servo/rust-url@v2.2.0...v2.2.1)

Signed-off-by: dependabot[bot] <[email protected]>
Closes: #7673

- Added new constraint system to the VM

Closes: #7376

Closes: #7488

… fix

Closes: #7674

Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.23 to 1.0.24.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](dtolnay/thiserror@1.0.23...1.0.24)

Signed-off-by: dependabot[bot] <[email protected]>
Closes: #7677

Added the emits specs to:
- DiemConfig::reconfigure_
- Diem::burn
- Diem::cancel_burn
- Diem::preburn_to
- Diem::burn_with_capability
- Diem::burn_now
- DiemAccount::cancel_burn
- DiemAccount::preburn
- txn_script::burn
- txn_script::cancel_burn
- txn_script::rotate_dual_attestation_info

Closes: #7668

…lines.

This is one of a number of smaller PRs which upgrades the transformation pipeline processors which already existed in v1 to the new tooling available in v2 (specifically the `FunctionDataBuilder` module).

Closes: #7678

`PeerInfo` is confusing, as it's a map, and the info is SyncState, which
contridicts the similar naming in StateSync.  This hopefully makes it a
little less confusing, with overloaded peer terms.

Closes: #7637

… or less

Closes: #6952

Bumps [cc](https://github.com/alexcrichton/cc-rs) from 1.0.66 to 1.0.67.
- [Release notes](https://github.com/alexcrichton/cc-rs/releases)
- [Commits](alexcrichton/cc-rs@1.0.66...1.0.67)

Signed-off-by: dependabot[bot] <[email protected]>
Closes: #7686

we already persist the `last_voted_round` value when creating a vote,
this one seems unecessary.

Closes: #7684

Bumps [serde](https://github.com/serde-rs/serde) from 1.0.123 to 1.0.124.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](serde-rs/serde@v1.0.123...v1.0.124)

Signed-off-by: dependabot[bot] <[email protected]>
Closes: #7839

Closes: #7829

Bumps [num](https://github.com/rust-num/num) from 0.3.1 to 0.4.0.
- [Release notes](https://github.com/rust-num/num/releases)
- [Changelog](https://github.com/rust-num/num/blob/master/RELEASES.md)
- [Commits](rust-num/num@num-0.3.1...num-0.4.0)

Signed-off-by: dependabot[bot] <[email protected]>
Closes: #7836

Closes: #7821

In order to better utilize upstream peers, we now provide a priority
order between all upstream peers.  This will allow us to simply choose
which peers to send txns to.  Additionally, removed some extra logic
around upstream configs since now there's no need for determining which
networks are for upstream.

Closes: #7809

Closes: #7842

In order to reduce the number of dependencies we have published, import
the proxy logic as a module instead of as a dependency in order to
eliminate neeing to publish the proxy crate at this point in time.

Closes: #7827

Closes: #7825

It turns out that `cargo publish` requires that all source files live
under 'src/' so using the trick to include the proxy crate as a module
didn't work. Instead use a symlink.

Closes: #7846

- Added abilities to IR
- Made drop, store, and key a keyword. This can be improved for the source language
- Updated various tests. New tests to follow later

Closes: #7744

…ation tests.

This PR resolves a TODO around the management of annotations for function data. Specifically, it makes the `Annotations` type clonable. As annotations are build on top of the `Any` type, this wasn't working without extra effort before, and created some ugly workarounds.

As a result, we can now freely create function variants which opens the door for negative tests like "soundness" checks. For that, we can simply introduce a new processor which uses `FunctionData::fork(&self, variant)` to create a new variant which will then be passed on and compiled by the Boogie backend.

Closes: #7833

Bumps archlinux from base-devel-20210228.0.16308 to base-devel-20210307.0.16708.

Signed-off-by: dependabot[bot] <[email protected]>
Closes: #7847

Enables manual control of download concurrency.

Closes: #7815

Closes: #7828

Closes: #7851

There are two types of public(script) functions:
- those that serve as execution entry points and can be directly
  invoked via the ScriptFunction payload
- those that are only indirectly called by other public(script)
  functions.

The script functions in first category should have no return values,
and this is dynamically checked by the loader when the function is
loaded up for execution. Hence, the return value of
execute_script_function should return nothing, to bring it in line with
the execute_script function.

Closes: #7855

Bumps [tokio](https://github.com/tokio-rs/tokio) from 1.2.0 to 1.3.0.
- [Release notes](https://github.com/tokio-rs/tokio/releases)
- [Commits](tokio-rs/tokio@tokio-1.2.0...tokio-1.3.0)

Signed-off-by: dependabot[bot] <[email protected]>
Closes: #7860

Bumps [tokio-stream](https://github.com/tokio-rs/tokio) from 0.1.3 to 0.1.4.
- [Release notes](https://github.com/tokio-rs/tokio/releases)
- [Commits](tokio-rs/tokio@tokio-stream-0.1.3...tokio-stream-0.1.4)

Signed-off-by: dependabot[bot] <[email protected]>
Closes: #7861

Bumps [tokio-util](https://github.com/tokio-rs/tokio) from 0.6.3 to 0.6.4.
- [Release notes](https://github.com/tokio-rs/tokio/releases)
- [Commits](tokio-rs/tokio@tokio-util-0.6.3...tokio-util-0.6.4)

Signed-off-by: dependabot[bot] <[email protected]>
Closes: #7862

Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.11.1 to 0.11.2.
- [Release notes](https://github.com/seanmonstar/reqwest/releases)
- [Changelog](https://github.com/seanmonstar/reqwest/blob/master/CHANGELOG.md)
- [Commits](seanmonstar/reqwest@v0.11.1...v0.11.2)

Signed-off-by: dependabot[bot] <[email protected]>
Closes: #7864

Closes: #7869

This adds a wellformed assumption after havoc of &mut parameters, following up on a suspicion that new timeouts might be caused by this missing. It appears it did not fix the timeouts, but is needed anyway.

Closes: #7834

Closes: #7871