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.

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

Feat/more predicates #783

Merged
merged 13 commits into from
Oct 16, 2024
Merged

Feat/more predicates #783

merged 13 commits into from
Oct 16, 2024

Commits on Oct 13, 2024

  1. Configuration menu
    Copy the full SHA
    96043c2 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    92f6165 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    44daf95 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    3dcae53 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2024

  1. Configuration menu
    Copy the full SHA
    f394074 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    fe30c15 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    2a2f4de View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    a9902a3 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    fd0f7a7 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    1675c34 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    4091b10 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    71d2d9c View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    2bc22de View commit details
    Browse the repository at this point in the history