GitHub · Where software is built

Labels Milestones New issue

Add @lemma as a shortcut for @ghost @pure @inlineOnce @opaque

#1657

· samuelchassot opened

on May 21, 2025

Difficulty in Finding Counter-example

#1649

· Darkfrobozz opened

on Apr 12, 2025

<code>class</code> with invariants extending <code>trait</code> makes Stainless crash

#1648

· samuelchassot opened

on Apr 4, 2025

Overriding val field of sealed trait results in error

#1647

· Darkfrobozz opened

on Apr 3, 2025

Disallow <code>extends</code> for <code>object</code>s and only with <code>case object</code>s

#1642

· samuelchassot opened

on Mar 18, 2025

Introduce Hylo style aliasing and Hylo input

#1638

· vkuncak opened

on Jan 27, 2025

Option to block type encoding

#1636

· vkuncak opened

on Jan 21, 2025

Comprehensive wrapper for covariant immutable Seq of Scala library

#1633

· vkuncak opened

on Jan 16, 2025

Add explicit unrolling annotation of loops and recursion

#1631

· vkuncak opened

on Jan 14, 2025

Contribution Guide

#1630

· SidonieBouthors opened

on Jan 13, 2025

<code>ghost</code> fields can lead to different runtime behaviour when using equality

#1628

· samuelchassot opened

on Jan 7, 2025

Crash when no verification files are provided

#1625

· fengwz17 opened

on Dec 20, 2024