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

feat(assumptions): reorganize facts for new assumptions #21279

Merged
merged 8 commits into from
Apr 13, 2021
Merged

feat(assumptions): reorganize facts for new assumptions #21279

merged 8 commits into from
Apr 13, 2021

Commits on Apr 9, 2021

  1. feat(assumptions) : reorganize new assumption fact 

    Implement Q.positive_infinite
Implement Q.negative_infinite
Introduce predicate decomposition into primitive predicates
Fix Q.hermitian and Q.antihermitian
    @JSS95
    JSS95 committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    0e126d6 View commit details
    Browse the repository at this point in the history

  2. feat(assumptions) : reorganize new assumption fact 

    Implement Q.extended_positive
Implement Q.extended_negative
Implement Q.extended_nonzero
Implement Q.extended_nonpositive
Implement Q.extended_nonnegative
    @JSS95
    JSS95 committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    48cbea3 View commit details
    Browse the repository at this point in the history

  3. feat(assumptions) : reorganize new assumption fact 

    Introduce assumptions/facts.py
    @JSS95
    JSS95 committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    3ee4d02 View commit details
    Browse the repository at this point in the history

  4. feat(assumptions) : reorganize new assumption fact 

    Apply Q.extended_positive to FinitePredicate
Uncomment commented tests in test_query
    @JSS95
    JSS95 committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    2b39a21 View commit details
    Browse the repository at this point in the history

  5. feat(assumptions) : reorganize new assumption fact 

    Fix test_args
    @JSS95
    JSS95 committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    68957f6 View commit details
    Browse the repository at this point in the history

  6. feat(assumptions) : reorganize new assumption fact 

    Fix test_known_facts_consistent()
    @JSS95
    JSS95 committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    1c3b514 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2021

  1. feat(assumptions) : reorganize new assumption fact 

    Fix handlers of FinitePredicate
    @JSS95
    JSS95 committed Apr 10, 2021
    Configuration menu
    Copy the full SHA
    248fb34 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2021

  1. feat(assumptions) : reorganize new assumption fact 

    Add composite_map argument to to_NNF
    @JSS95
    JSS95 committed Apr 12, 2021
    Configuration menu
    Copy the full SHA
    d9eb785 View commit details
    Browse the repository at this point in the history