Inferara/inference

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

• Module-scope constants (#515): follow-up tracker

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#537 · 2026年10月20日 に作成

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

• Module constants: tests for guarantees nothing currently enforces

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#536 · 2026年10月20日 に作成

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

• Module constants: documentation, diagnostic wording and CHANGELOG corrections

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#535 · 2026年10月20日 に作成

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

• A module constant whose type is item-imported fails to type-check

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#534 · 2026年10月20日 に作成

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

• Module constants in specifications: constant indices aren't folded, and tables over 64 elements can't be indexed symbolically

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#533 · 2026年10月20日 に作成

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

• A036 and A058 suggest memory layouts that fail the other check or that the build refuses

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#532 · 2026年10月20日 に作成

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

• Module constants: place static data per build mode and hand analysis and codegen one placed layout

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#531 · 2026年10月20日 に作成

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

• Compute type layout once: codegen, A036 and the constant evaluator each have their own

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#530 · 2026年10月20日 に作成

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

• Module constants: initializers skip most analysis rules, and constness depends on values

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#529 · 2026年10月20日 に作成

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

• Module constants: the evaluator panics, aborts or emits an invalid module on user input

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#528 · 2026年10月20日 に作成

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

• wasm-to-v: name-handling follow-ups from #405 (stdlib import capture, embedded module name, spec-name over-rejection, stale hints and docs)

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#518 · 2026年10月6日 に作成

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

• --import-memory: let a module import its linear memory from the host

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#512 · 2026年10月1日 に作成

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

• `continue;` is reported as an undeclared variable, and compiles as a no-op when a binding named `continue` is in scope

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#505 · 2026年9月29日 に作成

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

• Stellar: `contractspecv0` has an empty doc for every method; `///` doc comments never reach it

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#504 · 2026年9月29日 に作成

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

• book: Stellar proving procedure says `proofs/contract.wasm` is the pre-rewrite module byte for byte, but a `spec` block makes it a superset

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#503 · 2026年9月29日 に作成

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

• infs has no proof build for a `stellar` or `spacewasm` project without editing `[build] target`, and the refused proof build deletes the previous artifact

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#502 · 2026年9月29日 に作成

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

• Overflow guards cost the ray-tracer benchmark 72% of its throughput

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#501 · 2026年9月27日 に作成

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

• Allow bulk memory for SpaceWasm builds once nasa/spacewasm#54 ships

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#500 · 2026年9月27日 に作成

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

• Check the SpaceWasm limits against upstream `spacewasm-check` once it exists

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#499 · 2026年9月27日 に作成

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

• Measure whether SpaceWasm builds need their own unroll thresholds

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#498 · 2026年9月27日 に作成

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

• Revisit WASI imports under `infs run`

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#478 · 2026年9月23日 に作成

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

• `exists`/`unique` spec functions refuse an explicit `-> ()` where an omitted return type is accepted

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#477 · 2026年9月23日 に作成

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

• Report two unchecked host-module bounds to the SpaceWasm project

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#475 · 2026年9月23日 に作成

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

• Proof-mode gate remedy names a flag infs users do not have (`--target wasm32`)

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#474 · 2026年9月23日 に作成

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

• Delete the dead register_definition_from_external path in the type checker's symbol table

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#473 · 2026年9月23日 に作成

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

• Stellar host binding: import-name mapping for non-identifier strings and Val wrapping (#324 remainder)

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#472 · 2026年9月23日 に作成

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

• Let linked libraries call declared host imports (relax TransitiveHostImport)

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#471 · 2026年9月23日 に作成

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

• Memory-touching host functions: frame conditions, and harness stubs that read guest memory

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#470 · 2026年9月23日 に作成

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

• Proof mode for programs that bind host imports (Rocq axiomatization)

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#469 · 2026年9月23日 に作成

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

• Linker survivor path: let a program mix host imports with statically linked modules

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#468 · 2026年9月23日 に作成

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

• unique_function_name can reintroduce a __ run into an emitted Definition name

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#448 · 2026年8月28日 に作成

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

• assume { f(x); } puts HA_app_ok in antecedent position, handing the prover trap-freedom for free

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#447 · 2026年8月28日 に作成

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

• The end-of-body vanilla-WASM contract is skipped whenever a plan declines an @

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#446 · 2026年8月28日 に作成

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

• Payload-invariance has no regression gate for fixtures without a .v golden

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#445 · 2026年8月28日 に作成

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

• A037 misses named-constant and folded out-of-bounds indices, which the proof-mode translator already folds

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#442 · 2026年8月26日 に作成

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

• P016 is lexical: a reachability body calling a dynamically-indexing function can still carry a false obligation

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#441 · 2026年8月26日 に作成

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

• wasm-to-v: no fuzz target over translate_bytes, unlike core/wasm-linker

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#436 · 2026年8月23日 に作成

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

• wasm-to-v: inference.spec_funcs and the name section accept non-canonical encodings

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#435 · 2026年8月23日 に作成

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

• wasm-to-v: inference.spec_funcs indices are never range-checked, silently renumbering the call graph

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#434 · 2026年8月23日 に作成

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

• linker/driver: the one-import-many-declarations write-set guard compares a single field, so a future contract field reintroduces the #333 miscompile silently

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#433 · 2026年8月22日 に作成

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

• book: the Tier-B provenance lattice table describes a simpler lattice than the code implements

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#431 · 2026年8月22日 に作成

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

• Name section can carry duplicate entries: struct name equal to a bound logical module

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#424 · 2026年8月17日 に作成

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

• Cross-file T_app symbol never resolves: a spec calling across files cannot emit .v

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#422 · 2026年8月17日 に作成

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

• Linker: an external's global initializer is parsed before the tier gate, producing a misleading error for position-independent builds

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#421 · 2026年8月17日 に作成

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

• Tier-B provenance guarantees taint, not containment: a merged external can address arbitrarily far from a caller pointer

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#420 · 2026年8月17日 に作成

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

• A spec body whose only claim is a total-condition tautology still yields a trivially provable obligation

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#410 · 2026年8月14日 に作成

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

• Table limits silently drop table64 and shared

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#404 · 2026年8月13日 に作成

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

• memory.init/copy/fill discard their memory-index immediates

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#403 · 2026年8月13日 に作成

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

• Table import emits MID_table applied to limits instead of table_type

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#402 · 2026年8月13日 に作成

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

• coqc gate leaves ~60 stub constructors with no producer

  オープン

  ⋯この Issue の問題を報告

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

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

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

  Inferara/inference#401 · 2026年8月13日 に作成

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