VAL

VAL copied to clipboard

TIM returns nothing

12

[domainPlusproblem.zip](https://github.com/KCL-Planning/VAL/files/9837926/domainPlusproblem.zip) Hello, When using: ./`TIM `domain.pddl problem.pddl it outputs absolutly nothing. Is there something wrong with the pddls ? (here attached). Thanks a lot Aymeroc

aymeric75

Mac support with M1 processor (darwin, arm64)

19

When using the VSCode PDDL extension, I am given the opportunity to download and configure a pre-built VAL tool. The matching binary is not found for my platform: Mac OS...

victorpaleologue

how to build the package in the ubuntu

2

I am a beginner ，when I download this package，how can I build in the ubuntu18.04

hello-starry

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

1

guicho271828

The pddl-parser seems to reject empty effects without conjunctions

6

This definition failed to parse: ``` (:ACTION DIVERGENCE :PARAMETERS () ; (?P ?O) :PRECONDITION () :EFFECT ()) ``` but this one succeeded: ``` (:ACTION DIVERGENCE :PARAMETERS () ; (?P ?O)...

rpgoldman

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

2

Change the default epsilon value from 0.01 to 0.001 Validate to be consistent with POPF ?

gbesancon-schlumberger

Makefile paths & binary files

5

- Changed reference in Makefile to /src/Parser/lex.yy to src/Parser/lex.yy - Added .gitinore file - Added rules to .gitignore file to ignore executables and intermediate compilation files (*.o, etc.) - Removed...

miquelramirez

Validating plan fails after bad_alloc

1

We recently stumbled on a memory issue in the validate tool. We still use an old version that is bundled with Fast Downward, so I'm not sure if this still...

FlorianPommerening

Fix hard-coding of LINKER variable.

2

This would fix issue #4 Now LINKER uses the value of CXX. At the same time, I introduced use of the standard LEX and YACC variables.

rpgoldman

Fixed misleading identations

1

It did not compile with gcc 7.3.0 on Ubuntu 18.04

kaizerw