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

CDCL Graph #55

Open
wants to merge 35 commits into
base: main
Choose a base branch
from
Open

CDCL Graph #55

wants to merge 35 commits into from

Commits on Jun 6, 2024

  1. Made RawInstGraph::neighbors_directed more efficient

    @oskari1
    oskari1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    13e27a0 View commit details
    Browse the repository at this point in the history

  2. cargo fmt

    @oskari1
    oskari1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    bb1bdef View commit details
    Browse the repository at this point in the history

  3. cargo clippy --fix

    @oskari1
    oskari1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    79222af View commit details
    Browse the repository at this point in the history

  4. cargo fmt

    @oskari1
    oskari1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    cd2070b View commit details
    Browse the repository at this point in the history

  5. Split mk_proof_app into mk_app and mk_proof

    @oskari1
    oskari1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    1793c6c View commit details
    Browse the repository at this point in the history

  6. Added more info to proof step nodes

    @oskari1
    oskari1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    2d83812 View commit details
    Browse the repository at this point in the history

  7. Added MatSelect for switching viewer modes

    @oskari1
    oskari1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    a12368e View commit details
    Browse the repository at this point in the history

  8. Debugging view switcher

    @oskari1
    oskari1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    24ba85b View commit details
    Browse the repository at this point in the history

  9. Debugging view switcher

    @oskari1
    oskari1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    77d44bf View commit details
    Browse the repository at this point in the history

  10. Bug fix

    @oskari1
    oskari1 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    400ec85 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. Correctly showing/hiding disablers when switching viewer modes

    @oskari1
    oskari1 committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    eba75bd View commit details
    Browse the repository at this point in the history

  2. Adding special filters to proof steps mode

    @oskari1
    oskari1 committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    21f27f2 View commit details
    Browse the repository at this point in the history

  3. Changed ShowOnlyProofSteps filter

    @oskari1
    oskari1 committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    e490faf View commit details
    Browse the repository at this point in the history

  4. Bug fixes

    @oskari1
    oskari1 committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    c29edab View commit details
    Browse the repository at this point in the history

  5. Minor formatting

    @oskari1
    oskari1 committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    6f0af1c View commit details
    Browse the repository at this point in the history

  6. cargo fmt

    @oskari1
    oskari1 committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    8e17fb4 View commit details
    Browse the repository at this point in the history

  7. Fixed matches expression

    @oskari1
    oskari1 committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    1cbb679 View commit details
    Browse the repository at this point in the history

  8. cargo clippy --fix followed by cargo fmt

    @oskari1
    oskari1 committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    37f9b82 View commit details
    Browse the repository at this point in the history

  9. Removed useless vec

    @oskari1
    oskari1 committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    1d04561 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. Removed redundant log stmts

    @oskari1
    oskari1 committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    a708969 View commit details
    Browse the repository at this point in the history

  2. cargo clippy --fix

    @oskari1
    oskari1 committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    1889d41 View commit details
    Browse the repository at this point in the history

  3. Add 4th viewer mode

    @oskari1
    oskari1 committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    9e86e58 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. Adding edges between QIs and quant-inst proof steps

    @oskari1
    oskari1 committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    03e67df View commit details
    Browse the repository at this point in the history

  2. Added code for building cdcl graph

    @oskari1
    oskari1 committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    b94ba38 View commit details
    Browse the repository at this point in the history

  3. Basic code for CDCL tree working

    @oskari1
    oskari1 committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    254774b View commit details
    Browse the repository at this point in the history

  4. Added more node info to decision nodes

    @oskari1
    oskari1 committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    457bcb7 View commit details
    Browse the repository at this point in the history

  5. Added more node info to decision nodes

    @oskari1
    oskari1 committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    a0d9538 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2024

  1. Bug fixes

    @oskari1
    oskari1 committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    3b41519 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2024

  1. Improved node info in CDCL graph

    @oskari1
    oskari1 committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    6e5deaf View commit details
    Browse the repository at this point in the history

  2. Implemented CDCL viewer mode

    @oskari1
    oskari1 committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    77a3418 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. Added hacky fix to be able to display CDCL graph

    @oskari1
    oskari1 committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    585ebf6 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2024

  1. Added AST max to display nodes

    @oskari1
    oskari1 committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    19f63d3 View commit details
    Browse the repository at this point in the history

  2. cargo fmt

    @oskari1
    oskari1 committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    5a0b501 View commit details
    Browse the repository at this point in the history

  3. cargo clippy --fix

    @oskari1
    oskari1 committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    f7f376b View commit details
    Browse the repository at this point in the history

  4. cargo fmt

    @oskari1
    oskari1 committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    a740b2c View commit details
    Browse the repository at this point in the history