PR #26245 [ty] Don't store `source_order` in BDD nodes

[ty] Don't store `source_order` in BDD nodes #26245

dcreager wants to merge 10 commits into dcreager/fully-reduced from dcreager/sidecar-source-order

remove completed plan

37fc2916

dcreager added internal

dcreager added ty

build up source_order tree

354b967f

include derived source_orders when abstracting

acba9aa2

use source orders from tree

755e16b8

remove source_order from PathAssignments

11ea0b4b

remove source_order from interior nodes

43555052

more reduction rules!

58ae2453

dcreager force pushed from ba562be3 to 58ae2453 7 days ago

dcreager force pushed from f3e81b22 to 970ce19c 7 days ago

we can keep these truncations I guess

6c6c800c

dcreager force pushed from 970ce19c to 1e81e151 7 days ago

dcreager force pushed from 1e81e151 to ca710007 6 days ago

dcreager force pushed from ca710007 to c88b1578 6 days ago

use source_order of source constraint for derived constraints

d43bd3ae

dcreager force pushed from c88b1578 to d43bd3ae 6 days ago

always use source_constraint now that we're tracking it

b85517b6

dcreager force-pushed the dcreager/fully-reduced branch from 37fc2916 to 25dcf9a2 3 days ago

dcreager force-pushed the dcreager/fully-reduced branch from 25dcf9a2 to c59d3235 3 days ago

dcreager force-pushed the dcreager/fully-reduced branch from c59d3235 to c5f7da67 3 days ago

dcreager force-pushed the dcreager/fully-reduced branch from c5f7da67 to 2f56e55f 3 days ago

Reviewers

No reviews

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone