aptos-labs

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

• [move-prover] Spec equality on a generic struct instantiated with num crashes Boogie

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  aptos-labs/aptos-core#20672 · 2026年10月3日 に作成

  メンテナーはふだん 3 日以内に返信

• [prover] Function values outside the closed world are unsound

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug move-prover

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  aptos-labs/aptos-core#20650 · 2026年9月30日 に作成

  メンテナーはふだん 3 日以内に返信

• [prover] `apply <schema> to *` matches #[test]/#[test_only] functions, breaking `move test` for any schema with a bound variable

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 57/100

  aptos-labs/aptos-core#20646 · 2026年9月30日 に作成

  メンテナーはふだん 3 日以内に返信

• [Bug] Linux disk metrics are duplicated once per bind mount of the same device

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 74/100

  aptos-labs/aptos-core#20546 · リアクション 1 件 · 2026年9月15日 に作成

  メンテナーはふだん 3 日以内に返信

• [prover] WP anchors a normal-return postcondition on an aborting path

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  aptos-labs/aptos-core#20490 · 2026年9月3日 に作成

  メンテナーはふだん 3 日以内に返信

• [prover] WP over invariant-less loops splits a disjunctive exit fact into conjuncts

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 45/100

  aptos-labs/aptos-core#20478 · 2026年9月1日 に作成

  メンテナーはふだん 3 日以内に返信

• [Bug] [compiler-v2] `==`/`!=` on function values with widened abilities emits bytecode the verifier rejects (`EQUALITY_OP_TYPE_MISMATCH_ERROR`)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug compiler-v2

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  aptos-labs/aptos-core#20457 · 2026年8月28日 に作成

  メンテナーはふだん 3 日以内に返信

• [Feature Request]

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement Stale

  難易度 5/5 1週間以上 初心者へのやさしさ 20/100

  aptos-labs/aptos-core#20402 · コメント 1 件 · 2026年8月18日 に作成

  メンテナーはふだん 3 日以内に返信

• [prover] Avoid verification blowups for effectful inline HOF calls

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Stale

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  aptos-labs/aptos-core#20391 · コメント 2 件 · 2026年8月16日 に作成

  メンテナーはふだん 3 日以内に返信

• [move-prover] Defer result-dependent capture folds through HOF forwarders

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Stale

  難易度 5/5 1週間以上 初心者へのやさしさ 38/100

  aptos-labs/aptos-core#20383 · コメント 1 件 · 2026年8月13日 に作成

  メンテナーはふだん 3 日以内に返信

• [move-prover] Model stateful native results in inline HOFs

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Stale

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  aptos-labs/aptos-core#20382 · コメント 1 件 · 2026年8月13日 に作成

  メンテナーはふだん 3 日以内に返信

• [move-prover] Model stateful ristretto255 point_clone results

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Stale

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  aptos-labs/aptos-core#20376 · コメント 1 件 · 2026年8月13日 に作成

  メンテナーはふだん 3 日以内に返信

• [move-prover] Derive behavioral results through nested inline HOFs

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Stale

  難易度 5/5 1週間以上 初心者へのやさしさ 45/100

  aptos-labs/aptos-core#20374 · コメント 1 件 · 2026年8月13日 に作成

  メンテナーはふだん 3 日以内に返信

• [move-prover] Support bit-vector values in behavioral predicates

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Stale

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  aptos-labs/aptos-core#20375 · コメント 1 件 · 2026年8月13日 に作成

  メンテナーはふだん 3 日以内に返信

• [move-prover] Add functional mutation specifications for pool_u64

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Stale

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  aptos-labs/aptos-core#20373 · コメント 1 件 · 2026年8月13日 に作成

  メンテナーはふだん 3 日以内に返信

• [move-prover] Support inline HOF lambdas that access global state

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Stale

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  aptos-labs/aptos-core#20371 · コメント 1 件 · 2026年8月13日 に作成

  メンテナーはふだん 3 日以内に返信

• Public table info backups are no longer accessible, making Indexer GRPC bootstrap impossible

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  Stale

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  aptos-labs/aptos-core#20362 · コメント 2 件 · 2026年8月12日 に作成

  メンテナーはふだん 3 日以内に返信

• [prover] Support `&mut`-returning targets for mut-capturing closures

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  move-prover stale-exempt

  難易度 5/5 1週間以上 初心者へのやさしさ 30/100

  aptos-labs/aptos-core#20268 · コメント 1 件 · 2026年7月26日 に作成

  メンテナーはふだん 3 日以内に返信

• move_package_query facts: acquiresInferred silently missing when the build has errors — no degradation signal

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  aptos-labs/aptos-ai#19 · 2026年7月23日 に作成

• move-flow v2.0.0 compiler cannot build current aptos-framework (unrecognized intrinsic-map spec pragmas in big_ordered_map.spec.move)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  aptos-labs/aptos-ai#18 · 2026年7月23日 に作成

• Connect to Google, shows blank screen most of the times

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  aptos-labs/petra-wallet#78 · 2026年7月3日 に作成

• Error Tab activity not open , call api author error , pls fix not see on frontend

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 25/100

  aptos-labs/aptos-connect-feedback#6 · 2026年6月10日 に作成

• PartialVMError: bytecode version 9 unsupported when composing a transaction calling a third-party module

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  aptos-labs/script-composer-sdk#29 · コメント 2 件 · 2026年5月18日 に作成

• [Bug] TypeTag parser lexer rejects identifiers with leading underscore — divergence from Identifier::is_valid

  再び着手できるかも このイシューのプルリクエストはマージされずにクローズされました。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  stale-exempt

  難易度 2/5 1〜3時間 初心者へのやさしさ 76/100

  aptos-labs/aptos-core#19753 · コメント 1 件 · 2026年5月14日 に作成

  メンテナーはふだん 3 日以内に返信

• Petra 2.4.8 Testnet RPC points to unresolved staging endpoint; custom testnet network fails with "network not found"

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 48/100

  aptos-labs/petra-wallet#77 · 2026年5月13日 に作成

• Bump ts-sdk to version 6.x.x

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 3/5 1〜2日 初心者へのやさしさ 62/100

  aptos-labs/aptos-js-pro#42 · 2026年5月6日 に作成

• Petra Activity Bug

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 35/100

  aptos-labs/aptos-connect-feedback#5 · 2026年5月6日 に作成

• Suggestion: [Ending Code] + [Module Path] return on simulation error

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 38/100

  aptos-labs/petra-wallet#76 · 2026年4月11日 に作成

• Create app-integration-template repo

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  aptos-labs/aptos-docs#422 · コメント 2 件 · 2026年3月31日 に作成

  メンテナーはふだん 1 日以内に返信

• Add a description to improve Dispatch discoverability

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 2/5 1〜3時間 初心者へのやさしさ 48/100

  aptos-labs/aptos-agent-skills#54 · 2026年3月29日 に作成

• Rewrite Application Integration Guide (system-integrators-guide.mdx)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  aptos-labs/aptos-docs#400 · コメント 1 件 · 2026年3月19日 に作成

  メンテナーはふだん 1 日以内に返信

• [Feature Request] Improved use statement for Move

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  compiler-v2 enhancement stale-exempt

  難易度 3/5 1〜2日 初心者へのやさしさ 52/100

  aptos-labs/aptos-core#19124 · リアクション 1 件 · 2026年3月18日 に作成

  メンテナーはふだん 3 日以内に返信

• [prover] refactor bitvector logic in prover

  再び着手できるかも @rahxephon89 が 208 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  move-prover stale-exempt

  aptos-labs/aptos-core#19036 · コメント 2 件 · 担当者 1 名 · 2026年3月11日 に作成

  メンテナーはふだん 3 日以内に返信

• Shelby.community

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 1/5 1時間未満 初心者へのやさしさ 15/100

  aptos-labs/ace#3 · コメント 4 件 · 2026年3月11日 に作成

  メンテナーはふだん 1 日以内に返信

• [compiler] generating more optimized code for public structs

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  compiler-v2 stale-exempt

  難易度 5/5 1週間以上 初心者へのやさしさ 20/100

  aptos-labs/aptos-core#18319 · コメント 2 件 · 2025年12月15日 に作成

  メンテナーはふだん 3 日以内に返信

• INSUFFICIENT_BALANCE_FOR_TRANSACTION_FEE

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 25/100

  aptos-labs/petra-wallet#73 · コメント 1 件 · 2025年11月26日 に作成

• From one wallet builder to another

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 10/100

  aptos-labs/petra-wallet#72 · 2025年11月10日 に作成

• [Bug] Under-constraint output signal & circomlib misuse

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  aptos-labs/keyless-zk-proofs#89 · 2025年11月10日 に作成

• [Feature Request] Add ARM64 Docker image support for aptos-node in release process

  再び着手できるかも @Sushil-19 が 219 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement stale-exempt

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  aptos-labs/aptos-core#18043 · コメント 14 件 · リアクション 8 件 · 2025年11月5日 に作成

  メンテナーはふだん 3 日以内に返信

• Gas Station Guidance Inconsistent Across Project Types - Requires Trial-and-Error Development

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  aptos-labs/aptos-npm-mcp#47 · 2025年9月25日 に作成

• Gas Station Creation Tools Fail with Deserialization Error - Blocks Automated Developer Workflow

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 42/100

  aptos-labs/aptos-npm-mcp#46 · 2025年9月25日 に作成

• [Feature Request] Have a symmetric MarshalJSON and UnmarshalJSON for all API types

  再び着手できるかも このイシューのプルリクエストはマージされずにクローズされました。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  aptos-labs/aptos-go-sdk#186 · 2025年9月22日 に作成

• [move] Cover bug for open ends signed integers

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  stale-exempt

  難易度 5/5 1週間以上 初心者へのやさしさ 15/100

  aptos-labs/aptos-core#17645 · コメント 1 件 · 2025年9月19日 に作成

  メンテナーはふだん 3 日以内に返信

• Improve MCP guidance to generate well-commented, maintainable code

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 2/5 1〜3時間 初心者へのやさしさ 52/100

  aptos-labs/aptos-npm-mcp#45 · 2025年9月11日 に作成

• Installation Should Default to Global

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 1/5 1時間未満 初心者へのやさしさ 35/100

  aptos-labs/aptos-npm-mcp#44 · 2025年9月11日 に作成

• [Bug] Compiler panics with specs calling inlined functions when `LIFT_INLINE_FUNS` is on and `KEEP_INLINE_FUNS` is off

  再び着手できるかも @rahxephon89 が 390 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug compiler-v2 stale-exempt

  aptos-labs/aptos-core#17524 · コメント 1 件 · 担当者 1 名 · 2025年9月8日 に作成

  メンテナーはふだん 3 日以内に返信

• [Bug] Different compilation results when mutating a variable and using it on RHS at the same time

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug compiler-v2 stale-exempt

  難易度 4/5 3〜5日 初心者へのやさしさ 30/100

  aptos-labs/aptos-core#17510 · コメント 1 件 · 2025年9月5日 に作成

  メンテナーはふだん 3 日以内に返信

• [Bug] Mutating same variable cannot be compiled with optimize-extra

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug compiler-v2 stale-exempt

  難易度 4/5 3〜5日 初心者へのやさしさ 42/100

  aptos-labs/aptos-core#17509 · コメント 2 件 · 2025年9月5日 に作成

  メンテナーはふだん 3 日以内に返信