Code

Lm-Cut heuristic#21

Code

Merged

ztangent merged 19 commits intoJuliaPlanners:masterJuliaPlanners/SymbolicPlanners.jl:masterfrom danielz9999:LM-Cutdanielz9999/SymbolicPlanners.jl:LM-CutCopy head branch name to clipboardSep 6, 2024

+275-9

Commits

Commits on May 17, 2024

• Added the LM-Cut heuristic

  

  Žampach, Daniel

  committed
  4b46ea4

• Updated comments

  

  Žampach, Daniel

  committed
  f79c4e0

• Merge branch 'JuliaPlanners:master' into LM-Cut

  danielz9999

  authored
  3a1a9e1

• Added missing import

  

  Žampach, Daniel

  committed
  5b62d0d

• Merge branch 'LM-Cut' of https://github.com/danielz9999/SymbolicPlanners.jl into LM-Cut

  

  Žampach, Daniel

  committed
  cdc088d

• Fixed tests

  

  Žampach, Daniel

  committed
  2a3a95a

• Removed old test file

  

  Žampach, Daniel

  committed
  f1c1a11

• Altered function names to be more in line with the rest of the module.

  

  Žampach, Daniel

  committed
  9bdbd27

Commits on Sep 5, 2024

• Fix reachability heuristic to handle new abstract interpreter defaults.

  ztangent

  committed
  afefb45

Commits on Sep 6, 2024

• Refactor implementation.

  ztangent

  committed
  4062307

• Merge branch 'master' into LM-Cut

  ztangent

  committed
  cd2fe11

• Update LMCut docstring.

  ztangent

  committed
  c25d8c7

• Support dynamic goals in LMCut.

  ztangent

  committed
  a6072db

• Merge branch 'master' into LM-Cut

  ztangent

  authored
  b7ed25c

• Merge branch 'LM-Cut' of github.com:danielz9999/SymbolicPlanners.jl into LM-Cut

  ztangent

  committed
  10e1c46

• Fix bug in supporter extraction.

  ztangent

  committed
  d1b0b31

• Test that LMCut works with planners.

  ztangent

  committed
  7513c28

• Add citation to LMCut docstring.

  ztangent

  committed
  eb4b447

• Weaken LMCut tests to handle cross-version instabilities.

  ztangent

  committed
  cdd1105