epfl-lara

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

• Potential dead code and unused abstractions

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1862 · 2026年11月5日 に作成

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

• GenC: drop `@cCode.define`, use `inline` instead

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1827 · 2026年11月2日 に作成

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

• Equality on `Any` ignores numeric equality of boxed values: `(5: Byte) == 5` is proved false

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1821 · コメント 5 件 · 2026年11月2日 に作成

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

• TypeEncoding encodes a class invariant's type parameters, so the invariant no longer matches its sort (internal error in TypedFunDef)

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1811 · 2026年11月2日 に作成

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

• GenC keeps locals that are only used in erased specifications (unused variables in generated C)

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1807 · コメント 1 件 · 2026年10月29日 に作成

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

• GenC: exhaustive matches become if/else-if chains without a final else (-Wreturn-type)

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1806 · 2026年10月29日 に作成

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

• z3 5.x: get-model blow-up on arrays of datatypes containing arrays

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1801 · 2026年10月29日 に作成

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

• Stainless crashes when `subsetOf` is used in quantified expression with the Princess solver

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1791 · 2026年9月4日 に作成

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

• Wrong ghost context checking for case class parameters

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1785 · 2026年9月2日 に作成

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

• Add a `Pure(T)` wrapper for types to be able to use Mutable types in pure context

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

  ⋯この Issue の問題を報告

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

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

  epfl-lara/stainless#1779 · コメント 1 件 · 担当者 1 名 · 2026年8月26日 に作成

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

• Crash when a function parameter refinement refers to another parameter that happens to be mutated

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

  ⋯この Issue の問題を報告

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

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

  epfl-lara/stainless#1775 · コメント 4 件 · 担当者 1 名 · 2026年8月20日 に作成

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

• Compile BigInt as Int in genc

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

  ⋯この Issue の問題を報告

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

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

  epfl-lara/stainless#1773 · コメント 1 件 · 担当者 2 名 · 2026年8月19日 に作成

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

• Refinement types can introduce multiple duplicate VCs

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1772 · コメント 2 件 · 2026年8月19日 に作成

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

• Lost `require`

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1771 · 2026年8月18日 に作成

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

• Non-deterministic very slow verification

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1766 · コメント 5 件 · 2026年7月18日 に作成

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

• Stainless crash: `Variable ... is not defined in context` when lifting two `while` loops

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1742 · コメント 3 件 · 2026年6月3日 に作成

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

• Assertion error when using var with Map.updated

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1714 · コメント 2 件 · 2026年3月4日 に作成

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

• Capture of this.v is too restrictive when v is a field of a mutable class this

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

  ⋯この Issue の問題を報告

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

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

  epfl-lara/stainless#1706 · リアクション 1 件 · 担当者 2 名 · 2026年2月18日 に作成

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

• Improvements (esp for LLMs)

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/lisa#251 · 2026年1月24日 に作成

• Missed ghost usage outside of ghost context

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1697 · 2026年1月8日 に作成

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

• Option-less extractors result in "Lookup failure" exceptions

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1696 · コメント 1 件 · 2026年1月5日 に作成

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

• WIP ghost elimination bug

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1687 · コメント 9 件 · 2025年12月16日 に作成

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

• Handle all default getters that have ignored types in Extraction

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1685 · コメント 1 件 · 2025年12月12日 に作成

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

• Error when running a particular example with extended trait

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1684 · 2025年12月12日 に作成

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

• Improve error reporting on the CI

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1683 · 2025年12月11日 に作成

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

• STimeout for validation of a simple combination of cards

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1682 · コメント 4 件 · 2025年12月10日 に作成

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

• Weird generic error message on an @extern method whose ensuring does Int to BigInt conversion

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1676 · 2025年11月22日 に作成

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

• Unnecessary type encoding for extern fields

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1674 · コメント 1 件 · 2025年11月21日 に作成

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

• Crash when wrapping IArray

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

  ⋯この Issue の問題を報告

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

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

  epfl-lara/stainless#1672 · コメント 4 件 · 担当者 1 名 · 2025年11月19日 に作成

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

• Stainless ignores without warning that return breaks flow of runtime check done by ensuring

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1671 · コメント 1 件 · 2025年11月17日 に作成

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

• Ghost check fails when calling a ghost function in a case class constructor for a ghost parameter

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1670 · コメント 8 件 · 2025年11月14日 に作成

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

• Flaky crash with lambda and List.map

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1667 · コメント 3 件 · 2025年10月17日 に作成

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

• Difficulty in Finding Counter-example

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1649 · 2025年4月12日 に作成

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

• `class` with invariants extending `trait` makes Stainless crash

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1648 · コメント 12 件 · 2025年4月4日 に作成

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

• Overriding val field of sealed trait results in error

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1647 · 2025年4月3日 に作成

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

• Disallow `extends` for `object`s and only with `case object`s

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1642 · コメント 3 件 · 2025年3月18日 に作成

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

• Introduce Hylo style aliasing and Hylo input

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

  ⋯この Issue の問題を報告

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

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

  epfl-lara/stainless#1638 · リアクション 2 件 · 担当者 1 名 · 2025年1月27日 に作成

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

• Option to block type encoding

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1636 · 2025年1月21日 に作成

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

• Comprehensive wrapper for covariant immutable Seq of Scala library

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1633 · 2025年1月16日 に作成

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

• Add explicit unrolling annotation of loops and recursion

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1631 · 2025年1月14日 に作成

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

• Contribution Guide

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1630 · 2025年1月13日 に作成

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

• `ghost` fields can lead to different runtime behaviour when using equality

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1628 · コメント 1 件 · 2025年1月7日 に作成

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

• opaque traits without type encoding

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1612 · 2024年12月6日 に作成

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

• systematic inline defs handling and interaction with @opaque. Do not repeat while loop transform

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1611 · 2024年12月6日 に作成

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

• Partial correctness with defined_f predicates

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

  ⋯この Issue の問題を報告

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

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

  epfl-lara/stainless#1609 · 担当者 1 名 · 2024年12月5日 に作成

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

• Support scalaCheck for properties

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1608 · 2024年12月5日 に作成

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

• Supporting continuations

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1607 · 2024年12月5日 に作成

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

• Location misreported as `<empty tree>[{ x: Object | @dropConjuct false }]`

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1605 · 2024年12月4日 に作成

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

• Built-in caching for functions

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

  ⋯この Issue の問題を報告

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

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

  epfl-lara/stainless#1604 · コメント 2 件 · 担当者 1 名 · 2024年11月27日 に作成

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

• Crash with Stainless unknown wait method of Thread reported as compiler crash

  オープン

  ⋯この Issue の問題を報告

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

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

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

  epfl-lara/stainless#1592 · 2024年10月16日 に作成

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