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

One Step Simplifier: optimizations and new rules #3272

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

One Step Simplifier: optimizations and new rules #3272

wants to merge 15 commits into from

Commits on Sep 5, 2023

  1. OSS: optimize hashCode of replacement key

    @FliegendeWurst
    FliegendeWurst committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    387388f View commit details
    Browse the repository at this point in the history

  2. Optimize OSS by tightening the app loop

    @FliegendeWurst
    FliegendeWurst committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    4107016 View commit details
    Browse the repository at this point in the history

  3. OSS: inner loop on subformula

    @FliegendeWurst
    FliegendeWurst committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    f70394f View commit details
    Browse the repository at this point in the history

  4. OSS: skip unchanged in replaceKnown

    @FliegendeWurst
    FliegendeWurst committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    e4e35a3 View commit details
    Browse the repository at this point in the history

  5. OSS: only do replaceKnown check on demand

    @FliegendeWurst
    FliegendeWurst committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    ad383d7 View commit details
    Browse the repository at this point in the history

  6. OSS: optimize cycle check

    @FliegendeWurst
    FliegendeWurst committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    8812fb1 View commit details
    Browse the repository at this point in the history

  7. Show time per app in statistics

    @FliegendeWurst
    FliegendeWurst committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    39425e7 View commit details
    Browse the repository at this point in the history

  8. OSS: make cycle check and protocol configurable

    @FliegendeWurst
    FliegendeWurst committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    aeb3dec View commit details
    Browse the repository at this point in the history

  9. OSS: add several rules useful for heap terms

    @FliegendeWurst
    FliegendeWurst committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    ec30779 View commit details
    Browse the repository at this point in the history

  10. Fully disable origin tracking if it is disabled 

    Related KeYProject#3253
    @FliegendeWurst
    FliegendeWurst committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    0ef0414 View commit details
    Browse the repository at this point in the history

  11. OSS: remove inner loop optimization

    @FliegendeWurst
    FliegendeWurst committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    43424d6 View commit details
    Browse the repository at this point in the history

  12. Regenerate taclets.old.txt

    @FliegendeWurst
    FliegendeWurst committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    f6bab84 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2023

  1. Fix test failures due to OSS changes

    @FliegendeWurst
    FliegendeWurst committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    b8154bf View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2023

  1. Fix line number in proof replay errors

    @FliegendeWurst
    FliegendeWurst committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    2eb3cc2 View commit details
    Browse the repository at this point in the history

  2. Fix more proofs

    @FliegendeWurst
    FliegendeWurst committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    72ea1ba View commit details
    Browse the repository at this point in the history