All pull requests

Pull requests

• Count nested rewrite savings once per retained argument

  #271·DDDOH opened Oct 13, 2026·

  ·
  1

• Prevent recursive rewriting of rejected identity patterns

  #270·DDDOH opened Oct 13, 2026·

  ·
  1

• widen the cost model to i64

  #268·kavigupta opened Sep 8, 2026Collaborator·

  ·

• Regression tests weights (does not work)

  #246·kavigupta opened Aug 1, 2025Collaborator·

  ·

• no-conflict detection and optimization

  #244·kavigupta opened Jul 31, 2025Collaborator·

  ·

• attempt at a linked list

  #242·kavigupta opened Jul 30, 2025Collaborator·

  ·

• Zippers struct

  #241·kavigupta opened Jul 29, 2025Collaborator·

  ·

• extract a zipper adt

  #239·kavigupta opened Jul 25, 2025Collaborator·

  ·

• minor optimization in the creation of zids

  #204·kavigupta opened Jun 25, 2025Collaborator·

  ·

• optimize bottom up utility correction

  #195·kavigupta opened Jun 17, 2025Collaborator·

  ·

• smc (particle filter) stitch

  #188·kavigupta opened Jun 3, 2025Collaborator·2 of 5 tasks·

  ·

• WIP: Sampling programs from a given domain

  #18·theoxo opened Jan 19, 2022Collaborator·7 of 11 tasks·

  ·
  5