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

Accept ProjExpr in filters. #27

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Accept ProjExpr in filters. #27

wants to merge 2 commits into from

Commits on Aug 13, 2024

  1. Accept ProjExpr in filters. 

    This is required to extract members of structs in a filter.
As an absolute baseline, the lhs is checked to be a legal element in a
filter, but there are potential problems, for instance with mutable
pointers, that might break in the future. If something like this comes
up we will fix it.
    @m-kurtenacker
    m-kurtenacker committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    e24df60 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. Allow default path for clang. This allowes system llvm to be used with 

    testing enabled.
    @m-kurtenacker
    m-kurtenacker committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    e0fd7c9 View commit details
    Browse the repository at this point in the history