Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

dearb patching #1

Closed
wants to merge 200 commits into from
Closed

dearb patching #1

wants to merge 200 commits into from

Conversation

qdrs
Copy link

@qdrs qdrs commented Jun 20, 2023

JoshLind and others added 30 commits May 31, 2023 09:27
@JoshLind
[Aptos Data Client] Split up tests.
2340a1a
@banool
Add support for setting installation path to CLI install script (apto…
c522f80 
…s-labs#8446)
@alnoki
Add check for empty vector during event emission (aptos-labs#8448)
3fe9436
@perryjrandall
[devnet] Fix devnet update message link (aptos-labs#8375)
cf26cc4 
Reported by community member @urkesaptos-labs#1518

Test plan: Click this link it works
@areshand
[doc] add aptos db restore tool page
c320d2a
@davidiw
[docs] add aptos-stdlib to docs site refs (aptos-labs#8452)
ee328dd
@rahxephon89
supply-properties (aptos-labs#8388)
f2b84c8
@0xmigo
[CLI][Rest] added default custom header (aptos-labs#8368)
4beb914 
* added default custom header

* fixes on comments

* moved the client_builder to new file

* fixes from comment
@perryjrandall
[revert] Revert added symlink (aptos-labs#8456)
82cebdf
@danielxiangzl
[Executor] Move block gas limit to state computer (aptos-labs#8441)
40dc32c 
[Executor]  moving block gas limit to state computer, refactoring and fixing tests
@JoshLind
[Aptos Node] Bump cargo version of aptos-node to 1.5
943c21d
@areshand
[storage] explicitly request a valid target version in db restore
7367f15
@areshand @msmouse
[storage] reuse previous test
846e5b9
@gelash
fix flush error when running tests concurrently (aptos-labs#8453)
d1e15cd
@0xmigo
[aptos-ledger] added fetching and update get public key method (aptos…
55a27cc 
…-labs#8342)

* added fetching and update get public key method

* fixes from comment

* update method comment, and change fetch range limit from 20 to 10
@banool
Add get-latest-cli action (aptos-labs#8447)
931f810
@junkil-park
Added a typescript client for the Ambassador token example (aptos-lab…
1c84db6 
…s#8200)
@rustielin
[helm][fullnode] add lookup for all workloads (aptos-labs#8382)
133347e
@0xmigo
[Python SDK] Added custom header and bump version to 0.6.2 (aptos-lab…
f893f46 
…s#8442)

* Update clients to include custom headers

* bump version

* created metadata util class for get_version()
@saharct @davidiw
Text review and sidebar changes for the DB restore doc (aptos-labs#8455)
ccb3b91 
* Change directory and add item sidebar

* Change title

* Fix image link

* Text review

* Update aptos-db-restore.md

* Update aptos-db-restore.md

* Fix headings

* Fix tip

* Restructure and rephrase text. Add text to describe required options

* Update aptos-db-restore.md

* Update developer-docs-site/docs/nodes/full-node/aptos-db-restore.md

---------

Co-authored-by: David Wolinsky <isaac.wolinsky@gmail.com>
@alnoki
[CLI] Bump CLI version to 2.0.0 (aptos-labs#8416)
b2d3839 
* Rebase per @banool

aptos-labs#8416 (comment)

Squashed commit 1:
Bump CLI version to 1.0.15

Squashed commit 2:
Update current release date, Cargo.lock

Squashed commit 3:
Modify for v2.0.0 release

Squashed commit 4:
Re-insert v1.0.14 changelog section per @banool

aptos-labs#8416 (comment)

* Remove erroneous double cash sign
@bchocho
Add env variable to save logs (aptos-labs#8445)
875f553 
### Description

This makes it easier to inspect node logs after running a successful smoke test.

Example usage:
```
LOCAL_SWARM_SAVE_LOGS=1 cargo test --package smoke-test test_full_node_basic_flow -- --nocapture
```

The last logged line will have the location, e.g.,
```
Logs located at /var/folders/7h/r8yg843j0tl24vsc33ddl9s40000gn/T/.tmpHbbwHX
```
@movekevin
Update token v2 docs (aptos-labs#8438)
e6c4a47
@JoshLind
[State Sync] Add latency monitor.
aad9fa0
@JoshLind
[State Sync] Rename subscription terminology to optimistic fetch.
59320ad
@movekevin
Add missing word to docs' dictionary (aptos-labs#8464)
189ca63
@banool
[Faucet] Make outstanding txn wait duration configurable, update defa…
da31920 
…ults (aptos-labs#8462)
@0xmigo
[Python SDK] Fix linting (aptos-labs#8467)
41d03c4 
* add newline to fix linting error

* remove newline

* poetry run isort, poetry run black
@0xmigo
update changelog (aptos-labs#8473)
dc30dcd
@JoshLind
[Storage Service] Small tweaks to metrics.
c9cb442
rustielin and others added 26 commits June 15, 2023 06:01
@rustielin @ibalajiarun
[gha][docker] only push to GAR on PR; push to ECR on postcommit (apto…
ad2cbfd 
…s-labs#8599)

* Revert "Revert "[gha][docker] only push to GAR on PR; push to ECR on postcommit" (aptos-labs#8514)"

This reverts commit c32e918.

* [forge] find latest images based on cloud

* [gha] make GCP the default target registry for docker build

Co-authored-by: Balaji Arun <balaji@aptoslabs.com>

* [gha/docker] make remote TARGET_REGISTRY backwards compatible

* [testsuite] find docker images on GCP using crane

---------

Co-authored-by: Balaji Arun <balaji@aptoslabs.com>
@banool
[CLI][E2E] Add test for aptos move publish (aptos-labs#8590)
b7ddfcf
@runtian-zhou
[aptos-vm] Skip converting storage error (aptos-labs#8674)
74ccc19 
* [aptos-vm] Skip converting storage error

* fixup! [aptos-vm] Skip converting storage error
@xbtmatt
Adding an example of a token that is non-transferable for the first 7…
141323a 
… days of ownership

Moved the unit tests to a different file

Added the token_lockup unit tests to move_unit_tests.rs
@msmouse
replay-verify once per day
782a5b3
@github-actions @rustielin
[dashboards] sync grafana dashboards (aptos-labs#8633)
9ef8c60 
Co-authored-by: rustielin <rustielin@users.noreply.github.com>
@sionescu
[Helm] Fix loadtest cronjob (aptos-labs#8643)
3df7316
@gelash
Separate speculative logging errors out in alerting (lower priority) (a…
3aaedca 
…ptos-labs#8615)
@danielxiangzl
[Executor][GasMeter] Add Fee Statement in VM output (aptos-labs#8635)
989e4ef
@igor-aptos
Add workload_mix and realistic_env_graceful_overload, and cleanup con…
81bc224 
…tinuous forge test (aptos-labs#8601)
@UIZorrot
[Spec] update specs of voting.move (aptos-labs#8557)
695bbac 
* init

* fix lint

* fix linter

* fix trimspace

* fix comment

* fix md
@danielxiangzl
[BlockSTM] Better naming for execution task (aptos-labs#8694)
903c684 
[BlockSTM] Better naming for execution task
@UIZorrot @chan-bing
[Spec] update specs of aptos_governance (aptos-labs#8657)
fa01eb0 
* init

* new schema

* fix comment and lint

* fix comment and schema

* add md

---------

Co-authored-by: chan-bing <zzywullr@gmail.com>
@saharct
Remove outdated information about view functions and add a CLI usage …
4fc5447 
…example (aptos-labs#8682)

* Remove --bytecode-version requirement

* Remove the "view functions aren't supported" statement

* Add an example of a view function request via CLI
@saharct
Add missing commands to the command-specific help examples (aptos-lab…
a8491de 
…s#8681)
@ibalajiarun
[forge][multiregion] Ability to run GCP multiregion tests on PR (apto…
729a419 
…s-labs#8618)
@ibalajiarun
[GHA] Use spot VM for executor-performance (aptos-labs#8677)
181a3fd 
* [GHA] Use spot VM for executor-performance

* test

* duplicate spot runner

* point workflow to main
@brmataptos @brianrmurphy
Add docgen support for attributes (e.g., #[view]) (Issue aptos-labs#7932
bea5520 
) (aptos-labs#8636)

* Fix aptos-labs#7932

Docgen should output attributes (aptos-labs#7932).

Output attributes (e.g., #[view] or #[resource_group(scope = global)])
from docgen for move code.  Currently only handles attibutes on
Function, Script/Module, and Struct/Resource.

Note that attributes are allowed on some other syntactic objects
(address scope, use statement, const definition, spec), but how to
format these usefully in docgen is unclear.  for these in docgen is
unclear.

Also fix an unrelated bug discovered when adapting
attribute_placement.move as a test of docgen: previously, only a
single Module/Script per input file would be output in docgen.

* Update move library docs with new docgen.

---------

Co-authored-by: Brian R. Murphy <brianrmurphy@gmail.com>
@sitalkedia
[Sharding][Execution] Integrate partitioning into the block-stm bench…
6f4524d 
…mark (aptos-labs#8695)
@JoshLind
[Rust Toolchain] Upgrade up to rust version 1.7
1e65e97
@igor-aptos
Add so that Forge tests print (less frequently - every 1m) emit stats. (
de3a664 
aptos-labs#8697)

We have a few odd cases, and need to figure out if emitter is causing issues, or nodes.
@movekevin
Add a new() function to smart_vector and simple_map to be more standa…
237ac23 
…rdized across all data structures (aptos-labs#8712)
@movekevin
Add a new_from and add_all functions to simple_map (aptos-labs#8723)
6f40f0f
@movekevin
Add documentation and tests for type_info functions (aptos-labs#8706)
e53e193
@qdrs
dearbitrary derivation for move types
c8a21a2
@qdrs
use https git dep for otter dearbitrary
fec84ef
@qdrs qdrs closed this Jun 20, 2023
khokho pushed a commit that referenced this pull request May 14, 2024
@zjma
jwk #1: validator txn for publishing updates (aptos-labs#11853)
793563f 
* jwk types update

* update

* update

* jwk txn and execution

* update

* fix dummy

* update

* update

* update

* update

* update

* update

* remove dummy txns

* check voting power than verify signature

* fix warnings

* update

* update QuorumCertifiedUpdate struct
khokho pushed a commit that referenced this pull request May 14, 2024
@zjma
randomness #1: types update from randomnet (aptos-labs#12106)
6c7e9d4 
* types update from randomnet

* update

* lint

* lint
khokho pushed a commit that referenced this pull request May 14, 2024
@wrwg
[compiler-v2] Making v2 the basis of the prover (step #1) (aptos-labs…
2141444 
…#12462)

* [compiler-v2] Making v2 the basis of the prover (step #1)

This adds the missing parts to let compiler v2 fully support the specification language, and switches the prover to use v2 as the basis for verification of v1 bytecode. There is one further step needed to run the prover also on the code generated by v2 but that one is smaller than here. Notice that with this, we are dogfooding the v2 compiler frontend in production with the Move prover. There is no switching back and forth, code for the v1 prover integration has been removed. In more detail this does the following:

- There are two new env processors, the spec_checker and the spec_rewriter:
    - `spec_checker` checks the correct use of Move functions in the specification language. Those functions must be 'pure' and not depend on state or use certain other constructs. The checker is to be run as part of the regular compiler chain.
    - `spec_rewriter` rewrites specification expressions by converting used Move functions into specification functions, and doing other transformations to lift a Move expression into the specification language. This is only run by the prover itself.
- Inlining has been extended to deal with specification constructs.
- To support the inlining refactoring and the new processors, a new module `rewrite_target` is introduced which allows to collect functions and specification elements in a program in a unified fashion, rewriting them, and writing back to the environment. This new data structure has been inspired by the current design of the inliner and naturally extends it.
- A lot of ugliness has been ripped out of the model builder infrastructure (e.g. `TryImplAsSpec` mode is gone, as this is now handled by the `spec_rewriter`). More should come in step #2.
- Multiple test cases have been added.
- The prover driver has been adapted to use the new components.

* Fixing some unit tests

* Making hopefully all tests pass:

- Adding tuple support to the specification language as they are created by the inliner.
- Fixing an issue in memory usage calculation
- Adding a flag `--aptos` to the prover command line for easier debugging, avoiding the CLI.

* Disabling a condition for CI because of timeout.

* Rebasing
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.