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

TD3: optimize destabilization by aborting transfer function when unchanged #364

Merged
merged 38 commits into from
Nov 8, 2021
Merged

TD3: optimize destabilization by aborting transfer function when unchanged #364

merged 38 commits into from
Nov 8, 2021

Commits on Sep 28, 2021

  1. Add bool changed component to TD3 solve & eval

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    792aa48 View commit details
    Browse the repository at this point in the history

  2. Add dep hashtable to TD3 

    This collects the dependencies of a variable (opposite of infl).
    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    740b72c View commit details
    Browse the repository at this point in the history

  3. Add aborting via exception to TD3

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    342cfa0 View commit details
    Browse the repository at this point in the history

  4. Fix FromSpec not resetting current globals on TD3 eq abort

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    7c6f643 View commit details
    Browse the repository at this point in the history

  5. Fix first narrow iteration always aborting TD3 

    When widen iteration ends, everything is unchanged, so would always abort.
Instead we disable aborting then, to force narrowing to happen at least once.
    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    bae9516 View commit details
    Browse the repository at this point in the history

  6. Fix aborting of branching loop bodies using destabilization front

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    f88707f View commit details
    Browse the repository at this point in the history

  7. Add called_changed set to TD3

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    8594d03 View commit details
    Browse the repository at this point in the history

  8. Add aborts counter to statistics

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    6a317fd View commit details
    Browse the repository at this point in the history

  9. Make TD3 solve changed tail recursive again

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    982ddc3 View commit details
    Browse the repository at this point in the history

  10. Remove destab_infl after pushing destabilization front in TD3

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    c4cda6a View commit details
    Browse the repository at this point in the history

  11. Optimize TD3 dep to be just for destabilize

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    9592060 View commit details
    Browse the repository at this point in the history

  12. Optimize TD3 by removing destab_dep after use

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    27aa497 View commit details
    Browse the repository at this point in the history

  13. Optimize TD3 called aborting

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    6445791 View commit details
    Browse the repository at this point in the history

  14. Remove duplicate current node and context reset in FromSpec

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    38971a1 View commit details
    Browse the repository at this point in the history

  15. Remove old comments in TD3

    @sim642
    sim642 committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    88d12dd View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2021

  1. Merge branch 'master' into td3-solve-tf-abort-merge

    @sim642
    sim642 committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    fdea296 View commit details
    Browse the repository at this point in the history

  2. Add regression test where TD3 aborting with self-dependency and fixed… 

    … switch to Narrow is unsound
    @sim642
    sim642 committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    7abb940 View commit details
    Browse the repository at this point in the history

  3. Add more TD3 tracing

    @sim642
    sim642 committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    365e752 View commit details
    Browse the repository at this point in the history

  4. Fix TD3 self side destabilization removing from front

    @sim642
    sim642 committed Oct 6, 2021
    Configuration menu
    Copy the full SHA
    e46f85b View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2021

  1. Add TD3 test where complex self-abort causes verify error

    @sim642
    sim642 committed Oct 7, 2021
    Configuration menu
    Copy the full SHA
    53359ad View commit details
    Browse the repository at this point in the history

  2. Add stable and front tracing to TD3

    @sim642
    sim642 committed Oct 7, 2021
    Configuration menu
    Copy the full SHA
    0272784 View commit details
    Browse the repository at this point in the history

  3. Fix TD3 changed solve not pushing unstable front

    @sim642
    sim642 committed Oct 7, 2021
    Configuration menu
    Copy the full SHA
    0adf31b View commit details
    Browse the repository at this point in the history

  4. Add exp.solver.td3.abort option

    @sim642
    sim642 committed Oct 7, 2021
    Configuration menu
    Copy the full SHA
    419b63e View commit details
    Browse the repository at this point in the history

  5. Add back TD3 space support without abort

    @sim642
    sim642 committed Oct 7, 2021
    Configuration menu
    Copy the full SHA
    bf12102 View commit details
    Browse the repository at this point in the history

  6. Add TD3 abort verification by comparing with previous dep values

    @sim642
    sim642 committed Oct 7, 2021
    Configuration menu
    Copy the full SHA
    fb071a1 View commit details
    Browse the repository at this point in the history

  7. Deduplicate new prev_dep_vals setting in TD3 abort verify

    @sim642
    sim642 committed Oct 7, 2021
    Configuration menu
    Copy the full SHA
    9426674 View commit details
    Browse the repository at this point in the history

  8. Remove bad_abort flag from TD3 abort verify

    @sim642
    sim642 committed Oct 7, 2021
    Configuration menu
    Copy the full SHA
    281b8fb View commit details
    Browse the repository at this point in the history

  9. Refactor TD3 abort verify

    @sim642
    sim642 committed Oct 7, 2021
    Configuration menu
    Copy the full SHA
    0b4eb68 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2021

  1. Add minimal creduced case where TD3 abort fails its verify

    @sim642
    sim642 committed Oct 18, 2021
    Configuration menu
    Copy the full SHA
    b376100 View commit details
    Browse the repository at this point in the history

  2. Add more TD3 tracing

    @sim642
    sim642 committed Oct 18, 2021
    Configuration menu
    Copy the full SHA
    e99acab View commit details
    Browse the repository at this point in the history

  3. Reuse commented out destab_infl front code to fix TD3 abort

    @sim642
    sim642 committed Oct 18, 2021
    Configuration menu
    Copy the full SHA
    234c4c7 View commit details
    Browse the repository at this point in the history

  4. Add creduce script for TD3 abort verify failure

    @sim642
    sim642 committed Oct 18, 2021
    Configuration menu
    Copy the full SHA
    f9def12 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2021

  1. Get pvals before executing any tf to maximize abort

    @sim642
    sim642 committed Oct 21, 2021
    Configuration menu
    Copy the full SHA
    8bc2c89 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2021

  1. Merge branch 'master' into td3-solve-tf-abort

    @sim642
    sim642 committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    5d9642d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'interactive' into td3-solve-tf-abort

    @sim642
    sim642 committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    f66d1a0 View commit details
    Browse the repository at this point in the history

  3. Fix TD3 restart wpoint with abort

    @sim642
    sim642 committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    a7913d6 View commit details
    Browse the repository at this point in the history

  4. Disable incremental.restart.wpoint.enabled by default

    @sim642
    sim642 committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    df080d9 View commit details
    Browse the repository at this point in the history

  5. Disable TD3 abort by default

    @sim642
    sim642 committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    1aea84c View commit details
    Browse the repository at this point in the history