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

Base predicates #63

Merged
merged 10 commits into from
Aug 3, 2024
Merged

Base predicates #63

merged 10 commits into from
Aug 3, 2024

Commits on Jul 30, 2024

  1. refactor(reasoning): propagation in refiner 

    Make sure the propagations from the model seed are applied in the same way as
during value merging.
    @kris7t
    kris7t committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    f4d45c9 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. feat: base predicates

    @kris7t
    kris7t committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    228a54b View commit details
    Browse the repository at this point in the history

  2. feat(language): base predicate validation

    @kris7t
    kris7t committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    127b88a View commit details
    Browse the repository at this point in the history

  3. fix(reasoning): default false base predicvate translation

    @kris7t
    kris7t committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    02261dc View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. fix(semantics): handle empty models

    @kris7t
    kris7t committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    9979d14 View commit details
    Browse the repository at this point in the history

  2. fix(reasoning): undirected reference refinement

    @kris7t
    kris7t committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    7720586 View commit details
    Browse the repository at this point in the history

  3. test(semantics): run both with and without non-existing objects 

    Make sure we test both the ModelSemantics and ModelGenerator configurations.
    @kris7t
    kris7t committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    9c17caa View commit details
    Browse the repository at this point in the history

  4. chore(deps): bump dependencies

    @kris7t
    kris7t committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    afbbaad View commit details
    Browse the repository at this point in the history

  5. refactor(semantics): remove shadow predicate interpretations during g… 

    …eneration

While shadow predicate interpretations are useful for debugging model semantics,
may match sets for some predicates can grow very large during model generation.

Do not consturct interpretations for shadow predicates in ModelGeneratorFactory
by default.

Also fixes a bug where the candidate interpretation of a shadow predicate was
forced to be a refinement of the partial interpretation.
    @kris7t
    kris7t committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    17ab3a8 View commit details
    Browse the repository at this point in the history

  6. feat(semantics): base predicate serialization

    @kris7t
    kris7t committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    0fe2120 View commit details
    Browse the repository at this point in the history