All pull requests

Pull requests

• Fold raw pointers

  #1826·ranjitjhala opened Oct 8, 2026Contributor·

  ·
  1

  1

• Fix ICE when using enum variants in refinements

  #1824·sweiglbosker opened Oct 8, 2026Contributor·

  ·

• Encode Parameter and Alias types as Opaque Sorts in Liquid Fixpoint and Type Parameters in lean

  #1823·petros-marko opened Oct 8, 2026Member·

  ·
  12

• Add unsafe for fnptr spec

  #1820·ranjitjhala opened Oct 8, 2026Contributor·

  ·

• axiom definitions for uninterpreted functions

  #1817·ranjitjhala opened Oct 7, 2026Contributor·

  ·
  5

• Toolchain upgrade to nightly-2026-10-09

  #1811·github-actions[bot] opened Oct 3, 2026Bot·

  ·

• Add specs for size_of and align_of when unknown

  #1810·ryanfanchiotti opened Oct 2, 2026Contributor·

  ·

• Fix ICE (TooGeneric) normalizing builtin Sized assoc refts on generic types

  #1801·enjhnsn2 with CopilotAI opened Oct 2, 2026·

  ·
  1

  

• Don't block when materializing under shared borrow

  #1757·ranjitjhala opened Sep 12, 2026Contributor·

  ·
  1

  1

• Add specs for Ordering + more raw pointer comparisons

  #1755·ryanfanchiotti opened Sep 9, 2026Contributor·

  ·
  8

• Investigation notes on wrong sort computed for tuple-shaped associated-type projections (no fix included)

  #1748·ranjitjhala with CopilotAI opened Sep 2, 2026·

  ·
  1

  

• Preserve existential relationships in array elements

  #1746·kimjune01 opened Aug 31, 2026Contributor·

  ·
  1

  2

• Add support for Associated Constants in Refinements

  #1733·ranjitjhala opened Aug 21, 2026Contributor·

  ·
  1

  12

• Implement auto strong returned references

  #1728·kris-gaudel opened Aug 17, 2026Contributor·

  ·
  1

  3

• Fix false-positive "invariant may not hold (when place is folded)" for &mut struct fields passed through temporaries

  #1727·ranjitjhala with CopilotAI opened Aug 17, 2026·

  ·
  1

  

• Guarded Mut References

  #1702·ranjitjhala opened Jul 29, 2026Contributor·

  ·
  1

• Dump callgraph

  #1693·ranjitjhala opened Jul 22, 2026Contributor·

  ·
  8

• Add "spacer" as a back-end

  #1687·ranjitjhala opened Jul 16, 2026Contributor·

  ·
  2

• Track and report root cause for panics

  #1679·enjhnsn2 opened Jun 26, 2026Collaborator·

  ·
  1

  5

• Higher-order (spec) functions

  #1658·ranjitjhala opened Jun 12, 2026Contributor·

  ·
  3

• Derive inhabited and make ext grind-able

  #1655·petros-marko opened Jun 11, 2026Member·

  ·
  10

• Allow applying projected abstract refinements from composite sorts

  #1612·enjhnsn2 with CopilotAI opened May 19, 2026·

  ·
  1

  4

  

• Add hornspec CHC backend integration

  #1543·nilehmann with CopilotAI opened Apr 2, 2026·

  ·
  1

  4

  

• Visit no_panic_if while walking fn_sigs

  #1533·ninehusky opened Mar 19, 2026Contributor·

  ·
  1

  3

• Add Span for better ICE reports

  #1531·ranjitjhala opened Mar 18, 2026Contributor·

  ·
  5