Issues

• Can't follow installation instructions

  KCL-Planning/VAL#70 · Filter by author DanSchwartz opened on Nov 30, 2025

• Azure Pipeline link is broken

  KCL-Planning/VAL#69 · Filter by author DanSchwartz opened on Nov 29, 2025

• "Bad plan description"?

  KCL-Planning/VAL#65 · Filter by author rpgoldman opened on Mar 6, 2025
  7

• Broken links on homepage

  KCL-Planning/VAL#64 · Filter by author Martin36 opened on Feb 12, 2025
  1

• Docker instructions

  KCL-Planning/VAL#63 · Filter by author rpgoldman opened on Dec 3, 2024
  4

• Problem solving ode

  KCL-Planning/VAL#62 · Filter by author Alelafar opened on Jan 25, 2024
  3

• Pipeline failing

  KCL-Planning/VAL#61 · Filter by author aqibbutt opened on Nov 30, 2023
  4

• Forbidden parameter name: ?after

  KCL-Planning/VAL#59 · Filter by author haz opened on Feb 17, 2023
  6

• TIM returns nothing

  KCL-Planning/VAL#58 · Filter by author aymeric75 opened on Oct 21, 2022
  12

• Mac support with M1 processor (darwin, arm64)

  KCL-Planning/VAL#56 · Filter by author victorpaleologue opened on Jun 16, 2022
  20

• how to build the package in the ubuntu

  KCL-Planning/VAL#55 · Filter by author hello-starry opened on Jul 29, 2021
  2

• fails to load libVAL.so when launched from a different directory --- script for a static build?

  KCL-Planning/VAL#54 · Filter by author guicho271828 opened on Feb 16, 2021
  1

• Default espislon to 0.001 instead of 0.01 in Validate to be consistent with POPF ?

  KCL-Planning/VAL#41 · Filter by author gbesancon-schlumberger opened on Aug 5, 2019
  2

• Parser warnings for missing :number-fluents requirement

  KCL-Planning/VAL#40 · Filter by author jan-dolejsi opened on Aug 1, 2019
  1

• VAL does not accept a domain file that has more than 8999 predicates

  KCL-Planning/VAL#34 · Filter by author guicho271828 opened on Feb 22, 2019
  14

• VAL's parser: revise to be GLR?

  KCL-Planning/VAL#30 · Filter by author rpgoldman opened on Jul 8, 2018

• Definedness and satisfaction of disjunctions in numeric planning

  KCL-Planning/VAL#26 · Filter by author patrikhaslum opened on Jun 1, 2018
  1

• Segmentation fault in typechecking

  KCL-Planning/VAL#23 · Filter by author rpgoldman opened on Sep 28, 2017

• The pddl-parser seems to reject empty effects without conjunctions

  KCL-Planning/VAL#21 · Filter by author rpgoldman opened on Sep 12, 2017
  6

• How can we use "validate" in scripts?

  KCL-Planning/VAL#20 · Filter by author rpgoldman opened on Sep 12, 2017
  5

• Link to the old instructions

  KCL-Planning/VAL#17 · Filter by author berezovskyi opened on Jul 6, 2017

• Parsing plans with over 9994 steps fails with "Bad plan description!"

  KCL-Planning/VAL#16 · Filter by author FlorianPommerening opened on May 26, 2017
  1

• Validating plan fails after bad_alloc

  KCL-Planning/VAL#10 · Filter by author FlorianPommerening opened on Jan 22, 2016
  1

• Two errors in handling of derived predicates

  KCL-Planning/VAL#7 · Filter by author patrikhaslum opened on Apr 29, 2015
  8