All pull requests

Pull requests

• Unelaborate deref temps in reverse postorder

  #358·coord-e opened Oct 28, 2026Owner·

  ·
  1

  1

• Stop dropping an enum at any enum already being dropped around it

  #356·coord-e opened Oct 27, 2026Owner·

  ·
  2

  1

• Don't re-instantiate the already-instantiated signature in precompute_callable_param_contracts

  #355·coord-e opened Oct 24, 2026Owner·

  ·
  1

  1

• Attach invariant! to the loop that contains it

  #353·coord-e opened Oct 23, 2026Owner·

  ·
  1

  1

• Unelaborate the &mut deref temps GVN rewrites into copies

  #351·coord-e opened Oct 22, 2026Owner·

  ·
  3

• Disable MIR inlining so calls are always checked against callee specs

  #349·coord-e opened Oct 20, 2026Owner·

  ·
  1

  3

• Remove writes to a part of a dead local before analysis

  #347·coord-e opened Oct 19, 2026Owner·

  ·
  1

  3

• Bump syn from 3.0.7 to 3.0.9

  dependenciesrust
  #345·dependabot[bot] opened Oct 19, 2026Bot·

  ·

• Skip only truly recursive fields when dropping an enum

  #342·coord-e opened Oct 16, 2026Owner·

  ·
  1

  3

• Type a trait method call by the resolved impl method's type

  #339·coord-e opened Oct 13, 2026Owner·

  ·
  1

  1

• Equate a parameter with its argument only when the body never assigns it

  #335·coord-e opened Oct 12, 2026Owner·

  ·
  1

  9

• Key basic block types by generic args as well as def id

  #329·coord-e opened Oct 8, 2026Owner·

  ·
  1

  2

• Rewrite slice index uses past the bounds check's target block

  #323·coord-e opened Oct 4, 2026Owner·

  ·
  1

  1

• Resolve the prophecy of a value overwritten through a reference

  #311·coord-e opened Sep 29, 2026Owner·

  ·
  1

  1

• Keep UI test programs free of integer overflow

  #293·coord-e opened Sep 28, 2026Owner·

  ·
  1

• Use latest PCSat

  #287·coord-e opened Sep 28, 2026Owner·

  ·
  1

• Support nested refinements in subtyping and flow typing

  #286·coord-e opened Sep 28, 2026Owner·

  ·

• Model unsigned integers as non-negative

  #268·coord-e opened Sep 19, 2026Owner·

  ·

• Declare the sorts of quantifier binders in the emitted SMT-LIB2

  #247·coord-e opened Aug 26, 2026Owner·

  ·
  1

  2

• Unelaborate the Box deref temps GVN rewrites into copies

  #245·coord-e opened Aug 26, 2026Owner·

  ·
  1

• Carry what a type states across a basic block boundary

  #230·coord-e opened Aug 16, 2026Owner·

  ·
  1

• Take the type of a call from the callee

  #227·coord-e opened Aug 16, 2026Owner·2/3·

  ·

• Take the precondition of the entry block from the signature

  #226·coord-e opened Aug 16, 2026Owner·1/3·

  ·

• Take the state at a join as the disjunction of the states behind it

  #224·coord-e opened Aug 15, 2026Owner·3/3·

  ·

• Bind the structure of the value a mutable borrow prophesies

  #213·coord-e opened Aug 13, 2026Owner·

  ·
  1