Skip to content

[WIP] symbolic values: don't bake in values for Symbolic Integer/Float input#2796

Draft
kshitij12345 wants to merge 5 commits intomainfrom
ksh/sym-values-repr-in-trace
Draft

[WIP] symbolic values: don't bake in values for Symbolic Integer/Float input#2796
kshitij12345 wants to merge 5 commits intomainfrom
ksh/sym-values-repr-in-trace

Conversation

@kshitij12345
Copy link
Collaborator

@kshitij12345 kshitij12345 commented Dec 11, 2025

Fixes: #2789

TODO:

  • Show how the trace looks after this change.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[symbolic values] Trace bakes in the initial value of input used for trace construction

1 participant