aptos-core

aptos-core copied to clipboard

Docs: Update README

1

Hey. Added a link to the project site, and changed the name and link of the social network ## Description ## How Has This Been Tested? ## Key Areas to...

operagxsasha

[move-example] sample of a dynamic dispatch engine in Move

4

## Description This demonstrate a proof of concept dynamci dispatch engine in Move that might be useful for applications like bridges or swaps. For bridges, this allows for a bridge...

davidiw

[Compiler-v2] Fix `check_variant`

3

## Description In the expansion [phase](https://github.com/aptos-labs/aptos-core/blob/55e368cbf9314abd824a4c22b6cbbd508a7472bd/third_party/move/move-compiler/src/expansion/translate.rs#L2308), module access with the form `A::B` is translated into access of the variant `B` of enum `A` as `ModuleAccess(M1, M2, Some(B))` when `A` has...

rahxephon89

[Prover] add support of abort in spec function

3

## Description Currently, when rewriting a Move expression into a spec expression, abort will be rewritten into empty `()` expression. Later when generating boogie, the error `Tuple not yet supported`...

rahxephon89

[do-not-merge] apply the updated movefmt tool to framework code

3

## Description This PR shows the result after applying the newest [movefmt v1.0.3](https://github.com/movebit/movefmt/tree/develop) to the framework code using the default option: ``` max_width = 90 indent_size = 4 hard_tabs =...

robinlzw

[framework] Permissioned signer example

3

## Description This provides an example of permissioned signers. With a minimal extension of the existing signer representation in the VM, which is fully downwards compatible, we are able to...

wrwg

BlockSynchronizationView/Event & simple barrier (block metadata txn)

2

This should be an improvement over the current state of affairs, as finishing of block metadata txn would trigger everything that has done a read already (timestamp, randomness) to re-execute....

gelash

[Bug][decompiler] Decompiler fails on bytecode version 7

1

# 🐛 Bug If you compile a Move package with `aptos move compile --move-2`, and then run `aptos move decompile`, then it fails with this error: ``` "Error": "Unexpected error:...

vineethk

[Bug][Compiler-V2] `variants not allowed in this context` is generated when the struct has the same name as the module where it is defined

1

# 🐛 Bug When compiling the following code using V2: ``` module 0x42::M { struct M has drop { v: u64 } } module 0x42::M1 { use 0x42::M::{Self, M}; fun...

rahxephon89

Bump cookie and express in /aptos-move/move-examples/my_first_dapp/client

1

Bumps [cookie](https://github.com/jshttp/cookie) and [express](https://github.com/expressjs/express). These dependencies needed to be updated together. Updates `cookie` from 0.5.0 to 0.7.1 Release notes Sourced from cookie's releases. 0.7.1 Fixed Allow leading dot for domain...

dependabot[bot]