Code

Issue1147 Use pathlib#228

Code

Merged

FlorianPommerening merged 4 commits intoaibasel:mainaibasel/downward:mainfrom FlorianPommerening:issue1147FlorianPommerening/downward:issue1147Copy head branch name to clipboardJul 26, 2024

+138-142

Commits

Commits on Jul 23, 2024

• Use pathlib

  FlorianPommerening

  committed
  3971a6f

  Copy full SHA for 3971a6f

• Path.walk is only available in Python 3.12+

  FlorianPommerening

  committed
  f95a79b

  Copy full SHA for f95a79b

• deal with cases where VAL is not installed

  FlorianPommerening

  committed
  becd892

  Copy full SHA for becd892

Commits on Jul 25, 2024

• undo change in PlanManager

  FlorianPommerening

  committed
  7969bb7

  Copy full SHA for 7969bb7