Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Treat constants with symbolic type as being symbolic. #4082

Merged
merged 3 commits into from
Jun 26, 2024
Merged

Treat constants with symbolic type as being symbolic. #4082

merged 3 commits into from
Jun 26, 2024

Commits on Jun 26, 2024

  1. Treat constants with symbolic type as being symbolic. 

    When substituting into a symbolic constant, also substitute into its
type.
    @zygoloid
    zygoloid committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    e347ada View commit details
    Browse the repository at this point in the history

  2. Add testcase that produces a constant that is only symbolic because its 

    type is symbolic.
    @zygoloid
    zygoloid committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    ae5cc9e View commit details
    Browse the repository at this point in the history

  3. For review comment.

    @zygoloid
    zygoloid committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    6327a3f View commit details
    Browse the repository at this point in the history