Code

Issue1140#225

Code

Merged

remochristen merged 8 commits intoaibasel:mainaibasel/downward:mainfrom remochristen:issue1140remochristen/downward:issue1140Copy head branch name to clipboardJul 22, 2024

+93-87

Commits

Commits on Jul 9, 2024

• [issue1140] Adapt cheaper path reinsertion condtion and rename node operations.

  remochristen

  committed
  c33ff51

  Copy full SHA for c33ff51

• [issue1140] Undo reformatting.

  remochristen

  committed
  312df28

  Copy full SHA for 312df28

• [issue1140] Fix style.

  remochristen

  committed
  541c90e

  Copy full SHA for 541c90e

Commits on Jul 11, 2024

• [issue1140] Flatten conditions and assume closed instead of open.

  remochristen

  committed
  d1c45cf

  Copy full SHA for d1c45cf

• [issue1140] Fix style.

  remochristen

  committed
  a3a1e72

  Copy full SHA for a3a1e72

Commits on Jul 16, 2024

• [issue1140] Add back g-value discrepancy comment.

  remochristen

  committed
  3fbb505

  Copy full SHA for 3fbb505

Commits on Jul 18, 2024

• [issue1140] Remove outdated comment.

  remochristen

  committed
  91f1269

  Copy full SHA for 91f1269

• [issue1140] Fix comment.

  remochristen

  committed
  6770874

  Copy full SHA for 6770874