All pull requests

Pull requests

• Bump syn from 3.0.5 to 3.0.6

  dependenciesrust
  #272·dependabot[bot] opened Sep 21, 2026·

  ·

• Model unsigned integers as non-negative

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

  ·

• Encode slice operations with with an array lambda

  #262·coord-e opened Sep 9, 2026·

  ·

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

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

  ·
  1

  2

• Unelaborate the Box deref temps GVN rewrites into copies

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

  ·
  1

• Carry what a type states across a basic block boundary

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

  ·
  1

• Take the type of a call from the callee

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

  ·

• Take the precondition of the entry block from the signature

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

  ·

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

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

  ·

• Bind the structure of the value a mutable borrow prophesies

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

  ·
  1

• Relate OuterFnParam to locals via FnParam::at_here in loop invariants

  #156·coord-e opened Jun 28, 2026·

  ·

• Don't re-drop partially-moved sub-places (fix #121, #122)

  #155·coord-e opened Jun 28, 2026·

  ·
  1

  5

• Support Rust syntax in thrust::predicate bodies

  #114·coord-e opened Jun 9, 2026·

  ·
  4

• Update toolchain to nightly-2026-03-08

  #94·coord-e opened May 24, 2026·

  ·

• Encode unknown generic type parameters with (declare-forall-sort)

  #93·coeff-aij opened May 24, 2026·

  ·
  2

• Support annotations for methods in impl blocks

  #24·coeff-aij opened Jan 25, 2026·

  ·
  1