All pull requests

Pull requests

• Add internally mutable objects

  #1787·samuelchassot opened Sep 2, 2026Collaborator·

  ·

• Allow lambda to capture immutable val from mutable types

  #1786·samuelchassot opened Sep 2, 2026Collaborator·

  ·
  2

• Add an array backed by List (with all operations using both BigInt and Int)

  #1784·samuelchassot opened Sep 1, 2026Collaborator·

  ·
  5

• add Purified[@mutable A] and freshPureCopy to the library and to the verification pipeline

  #1780·samuelchassot opened Aug 27, 2026Collaborator·

  ·

• Floating-point measure

  #1777·agilot opened Aug 24, 2026Contributor·

  ·
  3

• Fix a bug refinement transformation when on a function parameter in a mutable type (issue #1775)

  #1774·samuelchassot opened Aug 20, 2026Collaborator·

  ·
  4

• Enable old() in refinement types for function return types

  #1765·samuelchassot opened Jul 14, 2026Collaborator·

  ·
  6

  

• Add lemmas to library to relate big int and int operations

  #1756·samuelchassot opened Jun 25, 2026Collaborator·

  ·
  1

• Avoid unused mutable match rebinding in AntiAliasing

  #1744·vkuncak with CopilotAI opened Jun 4, 2026·

  ·
  1

  2

  

• Invalidate stale AntiAliasing aliases after replacement updates

  #1741·vkuncak with CopilotAI opened Jun 2, 2026·

  ·
  1

  1

  

• Add a new cell benchmark: MutableTree

  #1740·samuelchassot opened Jun 2, 2026Collaborator·

  ·
  2

  

• Reject case class fields that reference mutable object-level vals

  #1738·vkuncak with CopilotAI opened Jun 2, 2026·

  ·
  1

  1

  

• add yolo-forever option

  #1716·samuelchassot opened Mar 5, 2026Collaborator·

  ·
  1

• Fix @extern functions being mistakenly verified

  #1690·vkuncak with CopilotAI opened Dec 17, 2025·6 tasks done·

  ·
  1

  3

  

• Add scala option to hide weird and useless error message extension wh…

  #1677·samuelchassot opened Dec 9, 2025Collaborator·

  ·

• Add eqcache option

  #1669·drganam opened Nov 13, 2025Collaborator·

  ·
  1

• Add watch-json CLI option

  #1659·quartztz opened Jul 7, 2025Contributor·

  ·
  4

• Experiment with list size to avoid stack overflow

  #1655·samuelchassot opened May 14, 2025Collaborator·

  ·

• Fix GenC tail rec elimination for unit functions when body is not in Block

  #1640·zhekai-jiang opened Feb 10, 2025Contributor·

  ·

• Log all errors caught in the frontend at debug level

  #1618·mbovel opened Dec 10, 2024Member·

  ·
  3

• Revisiting "unfold" and renaming it to unfolding

  #1552·samuelchassot opened Aug 6, 2024Collaborator·

  ·
  7

• fix bug of bigSubstring in ASTExtractors

  #1543·LioTree opened Jul 19, 2024·

  ·
  1

• Add opaque types for Double and Float

  #1413·mario-bucev opened May 8, 2023Collaborator·

  ·
  4

• Add erasure of AnyHeapRef-bounded type parameters and better allocator examples

  #1227·gsps opened Jan 18, 2022Contributor·

  ·
  1

• Equivalence checking updates

  #1145·drganam opened Sep 1, 2021Collaborator·

  ·