PR #202800 [Dexter] Add rewriting for aggregate variables

[Dexter] Add rewriting for aggregate variables #202800

SLTozer wants to merge 7 commits into main from users/SLTozer/dexter-10-unknown-aggregates

SLTozer requested a review from

jmorse 17 days ago

SLTozer requested a review from

OCHyams 17 days ago

SLTozer assigned

SLTozer 17 days ago

SLTozer marked this pull request as draft 12 days ago

SLTozer force pushed from a68bb689 to 200ea1ec 12 days ago

SLTozer marked this pull request as ready for review 12 days ago

SLTozer force pushed from 200ea1ec to 66d08245 12 days ago

SLTozer force pushed from 66d08245 to 892f9016 12 days ago

SLTozer force pushed from 892f9016 to 28e0ed42 12 days ago

SLTozer force pushed from 28e0ed42 to 7f4436bd 11 days ago

SLTozer force pushed from 7f4436bd to 11694d87 10 days ago

SLTozer force pushed from 11694d87 to 111bb79b 10 days ago

[Dexter] Add ability to rewrite scripts to fill-in unknown values

640f3785

format

924451c0

SLTozer force pushed from 111bb79b to fc6a4766 10 days ago

jmorse approved these changes on 2026-06-22

Address review comments: more comments

b66cd867

Rename writer->rewriter

06b808af

[Dexter] Add rewriting for aggregate variables

dbcaf854

Remove debug print

5daf9867

format

021663a1

SLTozer force pushed from fc6a4766 to 021663a1 3 days ago

Base automatically changed from users/SLTozer/dexter-9-unknown-values to main 2 days ago

Reviewers

jmorse

OCHyams

Assignees

SLTozer

Labels

None yet

Milestone

No milestone