Victor Paléologue

The PR was never completed. I had a look and boldly tried to complete it: https://github.com/r0adkll/sign-android-release/pull/49 I hope it will get accepted.

> Hi, I noticed this awesome job. But it seems to have been around for a while and has some conflicts from the master branch. > > Would you complete...

The workaround consists in re-building VAL yourself: - clone it from https://github.com/KCL-Planning/VAL/ - run `scripts/build_macos.sh` from that repo - set the "Pddl: Validator Path" value (in VSCode) to the path...

@bhomaidan1990 besides HDDL support missing, does the extension support HTN planners?

@maltehelmert This is the PR going along this issue http://issues.fast-downward.org/issue1029

I loved to meet you at ICAPS 2022! I hope you don't mind I bump this PR.

As discussed in http://issues.fast-downward.org/issue1030, we do the check only for goals, where the absence of a goal is clearly not supported (and perhaps should not). For other conditions, the spec...

I compile ANTLR normally, but I link against the static library, and got a similar error: `/usr/bin/ld: antlr-runtime-4.8/runtime/libantlr4-runtime.a(ANTLRInputStream.cpp.o): relocation R_X86_64_TPOFF32 against symbol` By adding `set_property(TARGET antlr4_static PROPERTY POSITION_INDEPENDENT_CODE ON)` (adding...

I do not remember and I have not kept a copy of that project, sorry. It is probably set wherever `add_library(antlr4_static ...)` is called. But it could also be where...

It looks like the documentation is for a version 4.0.0, but I cannot find it on [MavenCentral](https://mvnrepository.com/artifact/com.github.pellierd/pddl4j).