All pull requests

Pull requests

• Fix rotate_left and add rotate_right intrinsic

  #1098·lucasmt opened Oct 14, 2026·

  ·

• Upstream lemmas for bitwise arithmetic

  #1097·lucasmt opened Oct 9, 2026·

  ·

• Implement BMC (bounded model checking) mode

  #1096·lucasmt opened Oct 9, 2026·

  ·

• Use default LLVM lib directory when resuming a proof without recompilation

  #1095·jberthold opened Aug 22, 2026Collaborator·

  ·

• Restore CI, Disable CD

  #1094·ehildenb opened Jul 27, 2026Member·

  ·

• Minor changes to version tracking between release and master

  #1093·dkcumming opened Jul 14, 2026Collaborator·

  ·
  1

  

• size_of_val, min_align_of_val implementation

  #1092·mariaKt opened Jun 26, 2026Contributor·

  ·
  2

• refactor(rt): make projection traversal total

  #1073·Stevengre opened Apr 21, 2026Contributor·

  ·
  3

  

• refactor(kmir): simplify terminator call setup

  #1072·Stevengre opened Apr 21, 2026Contributor·

  ·
  4

  

• Root-cause iterator-simple stuck state after drop-glue support

  #1066·Stevengre opened Apr 16, 2026Contributor·6 tasks·

  ·

• RangeInteger abstraction for more compact representation

  #1061·ehildenb opened Apr 14, 2026Member·

  ·

• refactor: move runtime local access to slot-backed frames

  #1059·Stevengre opened Apr 11, 2026Contributor·

  ·
  6

  

• Separating symbolic and concrete floats

  #1024·dkcumming opened Apr 8, 2026Collaborator·

  ·
  2

  

• fix(unions): reinterpret payload on field reads

  #1016·Stevengre opened Apr 3, 2026Contributor·

  ·

• fix(transmute): accept MaybeUninit reinterpretation

  #1017·Stevengre opened Apr 3, 2026Contributor·

  ·

• refactor(tests): distinguish -fail from -unsupported, auto-detect show specs

  #1015·Stevengre opened Apr 3, 2026Contributor·

  ·
  13

  

• feat(rt): stabilize pointer cast address allocation

  #1003·Stevengre opened Mar 26, 2026Contributor·

  ·
  2

  1

• Execute drop glue for Drop terminators

  #999·Stevengre opened Mar 23, 2026Contributor·

  ·
  51