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

Issue1036 #70

Merged
merged 56 commits into from
Aug 2, 2023
Merged

Issue1036 #70

merged 56 commits into from
Aug 2, 2023

Commits on May 10, 2023

  1. Introduce past and future terminology.

    @ClemensBuechner
    ClemensBuechner committed May 10, 2023
    Configuration menu
    Copy the full SHA
    d810744 View commit details
    Browse the repository at this point in the history

  2. Fix basic progression of past landmarks.

    @ClemensBuechner
    ClemensBuechner committed May 10, 2023
    Configuration menu
    Copy the full SHA
    55bd7ea View commit details
    Browse the repository at this point in the history

  3. Add use_obedient_reasonable option to reasonable orders factory.

    @ClemensBuechner
    ClemensBuechner committed May 10, 2023
    Configuration menu
    Copy the full SHA
    5514517 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2023

  1. Remove goal check which is no longer necessary.

    @ClemensBuechner
    ClemensBuechner committed May 11, 2023
    Configuration menu
    Copy the full SHA
    9605cc4 View commit details
    Browse the repository at this point in the history

  2. Introduce future landmarks and implement ordering progressions.

    @ClemensBuechner
    ClemensBuechner committed May 11, 2023
    Configuration menu
    Copy the full SHA
    20320bb View commit details
    Browse the repository at this point in the history

  3. Update landmark status correctly.

    @ClemensBuechner
    ClemensBuechner committed May 11, 2023
    Configuration menu
    Copy the full SHA
    840dff1 View commit details
    Browse the repository at this point in the history

  4. Add experiments.

    @ClemensBuechner
    ClemensBuechner committed May 11, 2023
    Configuration menu
    Copy the full SHA
    4b0f934 View commit details
    Browse the repository at this point in the history

  5. Fix style.

    @ClemensBuechner
    ClemensBuechner committed May 11, 2023
    Configuration menu
    Copy the full SHA
    a505fdf View commit details
    Browse the repository at this point in the history

  6. Remove landmark status as detour to get to past and future information.

    @ClemensBuechner
    ClemensBuechner committed May 11, 2023
    Configuration menu
    Copy the full SHA
    e1214fe View commit details
    Browse the repository at this point in the history

Commits on May 12, 2023

  1. Add experiments v4.

    @ClemensBuechner
    ClemensBuechner committed May 12, 2023
    Configuration menu
    Copy the full SHA
    f5eb820 View commit details
    Browse the repository at this point in the history

  2. Add comma.

    @ClemensBuechner
    ClemensBuechner committed May 12, 2023
    Configuration menu
    Copy the full SHA
    6cdad46 View commit details
    Browse the repository at this point in the history

  3. Implement suggestions from code review.

    @ClemensBuechner
    ClemensBuechner committed May 12, 2023
    Configuration menu
    Copy the full SHA
    ca0c8c3 View commit details
    Browse the repository at this point in the history

  4. Fix conditions for computing cost partitionings.

    @ClemensBuechner
    ClemensBuechner committed May 12, 2023
    Configuration menu
    Copy the full SHA
    b8802f9 View commit details
    Browse the repository at this point in the history

  5. Prettify and implement more review comments.

    @ClemensBuechner
    ClemensBuechner committed May 12, 2023
    Configuration menu
    Copy the full SHA
    8970d66 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2023

  1. Clarify heuristic computation.

    @ClemensBuechner
    ClemensBuechner committed May 15, 2023
    Configuration menu
    Copy the full SHA
    af13cd7 View commit details
    Browse the repository at this point in the history

  2. Consider only relevant landmarks and orderings when progressing.

    @ClemensBuechner
    ClemensBuechner committed May 15, 2023
    Configuration menu
    Copy the full SHA
    fc115f6 View commit details
    Browse the repository at this point in the history

  3. Change default for obedient-reasonable orderings.

    @ClemensBuechner
    ClemensBuechner committed May 15, 2023
    Configuration menu
    Copy the full SHA
    ea174db View commit details
    Browse the repository at this point in the history

  4. Fix greedy-necessary ordering progression.

    @ClemensBuechner
    ClemensBuechner committed May 15, 2023
    Configuration menu
    Copy the full SHA
    e91c1c1 View commit details
    Browse the repository at this point in the history

  5. Add experiments v5.

    @ClemensBuechner
    ClemensBuechner committed May 15, 2023
    Configuration menu
    Copy the full SHA
    bad208e View commit details
    Browse the repository at this point in the history

  6. Fix style.

    @ClemensBuechner
    ClemensBuechner committed May 15, 2023
    Configuration menu
    Copy the full SHA
    0166af9 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. Remove some tests.

    @ClemensBuechner
    ClemensBuechner committed May 16, 2023
    Configuration menu
    Copy the full SHA
    85e9687 View commit details
    Browse the repository at this point in the history

  2. Change IDs to pointers.

    @ClemensBuechner
    ClemensBuechner committed May 16, 2023
    Configuration menu
    Copy the full SHA
    07f55c1 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2023

  1. Append goal progression to basic progression.

    @ClemensBuechner
    ClemensBuechner committed May 17, 2023
    Configuration menu
    Copy the full SHA
    645297b View commit details
    Browse the repository at this point in the history

Commits on May 22, 2023

  1. Expand comments and speed-up ordering progressions.

    @ClemensBuechner
    ClemensBuechner committed May 22, 2023
    Configuration menu
    Copy the full SHA
    3a9f03c View commit details
    Browse the repository at this point in the history

  2. Add experiments.

    @ClemensBuechner
    ClemensBuechner committed May 22, 2023
    Configuration menu
    Copy the full SHA
    a3a2865 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2023

  1. Remove lm_is_p/f(id,state), instead add ConstBitsetView get_p/f_lms(s… 

    …tate).
    @salome-eriksson
    salome-eriksson committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    83f7c23 View commit details
    Browse the repository at this point in the history

  2. Add experiments v7.

    @salome-eriksson
    salome-eriksson committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    c95b593 View commit details
    Browse the repository at this point in the history

  3. Update terminology.

    @ClemensBuechner
    ClemensBuechner committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    4151913 View commit details
    Browse the repository at this point in the history

  4. Fix style.

    @ClemensBuechner
    ClemensBuechner committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    b7fea6c View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2023

  1. Split basic and goal progression and make explicitly adding a require… 

    …ment.
    @ClemensBuechner
    ClemensBuechner committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    fcba1e2 View commit details
    Browse the repository at this point in the history

  2. Add experiments.

    @ClemensBuechner
    ClemensBuechner committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    7e791a7 View commit details
    Browse the repository at this point in the history

  3. Fix style.

    @ClemensBuechner
    ClemensBuechner committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    d2c8587 View commit details
    Browse the repository at this point in the history

  4. Allow reasonable orders for optimal planning.

    @ClemensBuechner
    ClemensBuechner committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    8b3fae0 View commit details
    Browse the repository at this point in the history

  5. Add experiment for optimal configs.

    @ClemensBuechner
    ClemensBuechner committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    fdae6cc View commit details
    Browse the repository at this point in the history

  6. Relax progression criterion again.

    @ClemensBuechner
    ClemensBuechner committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    4d426fa View commit details
    Browse the repository at this point in the history

  7. Add experiments.

    @ClemensBuechner
    ClemensBuechner committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    5e98f08 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. Fix goal progression condition.

    @ClemensBuechner
    ClemensBuechner committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    9c96fb9 View commit details
    Browse the repository at this point in the history

  2. Add experiments.

    @ClemensBuechner
    ClemensBuechner committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    2d44934 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2023

  1. Add base-optimal experiment.

    @ClemensBuechner
    ClemensBuechner committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    d97fb70 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2023

  1. Clean up comments.

    @ClemensBuechner
    ClemensBuechner committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    5976a65 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2023

  1. Write out future instead of fut.

    @ClemensBuechner
    ClemensBuechner committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    8ce827b View commit details
    Browse the repository at this point in the history

  2. Avoid redundant loop.

    @ClemensBuechner
    ClemensBuechner committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    a539730 View commit details
    Browse the repository at this point in the history

  3. Move comment.

    @ClemensBuechner
    ClemensBuechner committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    b01a757 View commit details
    Browse the repository at this point in the history

  4. Remove option for obedient-reasonable orderings.

    @ClemensBuechner
    ClemensBuechner committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    49099be View commit details
    Browse the repository at this point in the history

  5. Swap parameter ordering.

    @ClemensBuechner
    ClemensBuechner committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    0b1c9d0 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2023

  1. Add page numbers to reference.

    @ClemensBuechner
    ClemensBuechner committed Jul 15, 2023
    Configuration menu
    Copy the full SHA
    d09e915 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2023

  1. Remove experiments.

    @ClemensBuechner
    ClemensBuechner committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    ffed417 View commit details
    Browse the repository at this point in the history

  2. Fix style.

    @ClemensBuechner
    ClemensBuechner committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    daeb1b0 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2023

  1. Implement more ideomatic way to deal with const bitset views.

    @ClemensBuechner
    ClemensBuechner committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    a368089 View commit details
    Browse the repository at this point in the history

  2. Clean up initial state progression.

    @ClemensBuechner
    ClemensBuechner committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    7e2f02b View commit details
    Browse the repository at this point in the history

  3. Rename progress_basic to progress_landmarks.

    @ClemensBuechner
    ClemensBuechner committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    d70f0ee View commit details
    Browse the repository at this point in the history

  4. Remove document note about obedient-reasonable orderings.

    @ClemensBuechner
    ClemensBuechner committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    d408e28 View commit details
    Browse the repository at this point in the history

  5. Clarify initial state progression further.

    @ClemensBuechner
    ClemensBuechner committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    364c96d View commit details
    Browse the repository at this point in the history

  6. Clarify comment.

    @ClemensBuechner
    ClemensBuechner committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    8fe44d2 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'main' into issue1036.

    @ClemensBuechner
    ClemensBuechner committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    9a11e00 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. Merge branch 'main' into issue1036.

    @ClemensBuechner
    ClemensBuechner committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    d3a1e1e View commit details
    Browse the repository at this point in the history