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

Remove args and func overriding of AppliedPredicate #20847

Merged
merged 10 commits into from
Apr 13, 2021
Merged

Remove args and func overriding of AppliedPredicate #20847

merged 10 commits into from
Apr 13, 2021

Commits on Jan 22, 2021

  1. refactor(assump): fix AppliedPredicate args and func 

    Remove args and func property.
    @JSS95
    JSS95 committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    712ab62 View commit details
    Browse the repository at this point in the history

  2. refactor(assump): fix AppliedPredicate args and func 

    Introduce _find_freepredicate()
    @JSS95
    JSS95 committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    4b9e973 View commit details
    Browse the repository at this point in the history

  3. refactor(assump): fix AppliedPredicate args and func 

    Change `.args` to `.arguments` in UnevaluatedOnFree.__new__.
    @JSS95
    JSS95 committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    090716f View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2021

  1. refactor(assump): fix AppliedPredicate args and func 

    Fix _extract_all_facts
    @JSS95
    JSS95 committed Jan 23, 2021
    Configuration menu
    Copy the full SHA
    354f8cf View commit details
    Browse the repository at this point in the history

  2. refactor(assump): fix AppliedPredicate args and func 

    Fix get_relevant_facts
    @JSS95
    JSS95 committed Jan 23, 2021
    Configuration menu
    Copy the full SHA
    1856068 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2021

  1. refactor(assump): fix AppliedPredicate args and func 

    Fix UnevaluatedOnFree
    @oscarbenjamin
    oscarbenjamin committed Jan 24, 2021
    Configuration menu
    Copy the full SHA
    32d968e View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2021

  1. refactor(assump): fix AppliedPredicate args and func 

    Fix _extract_facts
    @JSS95
    JSS95 committed Jan 25, 2021
    Configuration menu
    Copy the full SHA
    69906c3 View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2021

  1. Merge branch 'master' into predicate_args

    @JSS95
    JSS95 committed Apr 13, 2021
    Configuration menu
    Copy the full SHA
    f61a451 View commit details
    Browse the repository at this point in the history

  2. refactor(assump): fix AppliedPredicate args and func 

    Modify doc
Add Predicate._eval_refine
    @JSS95
    JSS95 committed Apr 13, 2021
    Configuration menu
    Copy the full SHA
    412c3dc View commit details
    Browse the repository at this point in the history

  3. refactor(assump): fix AppliedPredicate args and func 

    Fix get_relevant_facts
    @JSS95
    JSS95 committed Apr 13, 2021
    Configuration menu
    Copy the full SHA
    ba69c20 View commit details
    Browse the repository at this point in the history