epfl-lara

可能已有人在做的 issue 排在最后。 全部按时间排序

• Update or remove the dependencies that trigger JDK 25 warnings (Scala-Z3, Circe)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 4/5 3-5 天 新手友好度 48/100

  epfl-lara/stainless#1893 · 2026年11月8日 创建

  维护者通常 1 天内回复

• Potential dead code and unused abstractions

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement

  难度 5/5 一周以上 新手友好度 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 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  enhancement genc

  难度 4/5 3-5 天 新手友好度 54/100

  epfl-lara/stainless#1807 · 1 条评论 · 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 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug

  难度 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 于 77 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 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 于 83 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug

  epfl-lara/stainless#1775 · 4 条评论 · 已指派 1 人 · 2026年8月20日 创建

  维护者通常 1 天内回复

• Compile BigInt as Int in genc

  可能重新可做 @mbovel 于 83 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  feature genc

  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 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug

  难度 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 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug

  难度 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 于 265 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  epfl-lara/stainless#1706 · 1 个 reaction · 已指派 2 人 · 2026年2月18日 创建

  维护者通常 1 天内回复

• Improvements (esp for LLMs)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 5/5 一周以上 新手友好度 35/100

  epfl-lara/lisa#251 · 2026年1月24日 创建

• Missed ghost usage outside of ghost context

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug ghost

  难度 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 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug ghost

  难度 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 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug

  难度 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 于 356 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 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 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug

  难度 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 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  bug

  难度 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 于 653 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  aliasing feature imperative

  epfl-lara/stainless#1638 · 2 个 reaction · 已指派 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 一周以上 新手友好度 20/100

  epfl-lara/stainless#1633 · 2025年1月16日 创建

  维护者通常 1 天内回复

• Add explicit unrolling annotation of loops and recursion

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  doable enhancement

  难度 5/5 一周以上 新手友好度 28/100

  epfl-lara/stainless#1631 · 2025年1月14日 创建

  维护者通常 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 一周以上 新手友好度 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 一周以上 新手友好度 35/100

  epfl-lara/stainless#1611 · 2024年12月6日 创建

  维护者通常 1 天内回复

• Partial correctness with defined_f predicates

  可能重新可做 @vkuncak 于 706 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  feature

  epfl-lara/stainless#1609 · 已指派 1 人 · 2024年12月5日 创建

  维护者通常 1 天内回复

• Support scalaCheck for properties

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  feature

  难度 5/5 一周以上 新手友好度 25/100

  epfl-lara/stainless#1608 · 2024年12月5日 创建

  维护者通常 1 天内回复

• Supporting continuations

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  feature

  难度 5/5 一周以上 新手友好度 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 于 714 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 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 天内回复

• Stainless crash with nested auto-tupling within a Some pattern

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 48/100

  epfl-lara/stainless#1590 · 2024年10月12日 创建

  维护者通常 1 天内回复

• Report of INVALID for missing measure

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  epfl-lara/stainless#1584 · 2024年10月8日 创建

  维护者通常 1 天内回复