Labels Milestones

12 Open 28 Closed

Label

Show archived labels Use alt + click/enter to exclude labels

All labels No label

aesthetic

benchmarks

bug

documentation

duplicate

enhancement

help wanted

invalid

question

suggestion

task

wontfix

Milestone

All milestones No milestones

Open milestones

plasp 3.2.0 Extended Paper for TPLP Journal plasp 3.1.2

Closed milestones

plasp 3.1.0 plasp 3.1.1

Project

All projects No project

Author

All users

Assignee

All assignees No assignee

patrick

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

12 Open 28 Closed

Autocompletion for bash and zsh

enhancement

suggestion

#25 opened 2017-11-17 23:12:50 +01:00 by patrick plasp 3.2.0 -

Implement solution checker

enhancement

1

#24 opened 2017-11-17 22:27:12 +01:00 by patrick plasp 3.2.0 -

Ignore requirements completely

enhancement

#23 opened 2017-11-17 15:47:39 +01:00 by patrick plasp 3.1.2 -

Document plasp’s input grammar

documentation

task

#22 opened 2017-11-16 22:17:27 +01:00 by patrick plasp 3.2.0 -

Misleading error message when using undeclared constants

aesthetic

#15 opened 2017-11-09 14:54:03 +01:00 by patrick plasp 3.2.0 -

Test that all allegedly supported domains are indeed translated without errors

task

#14 opened 2017-11-08 18:51:07 +01:00 by patrick plasp 3.1.2 -

Remove pddl-instances submodule dependency

enhancement

task

#13 opened 2017-11-08 18:43:01 +01:00 by patrick plasp 3.2.0 -

Support the Meson build system

enhancement

#12 opened 2017-11-08 18:35:25 +01:00 by patrick plasp 3.1.2 0 / 3 -

Add end-to-end planning tests

enhancement

task

#11 opened 2017-11-08 17:57:48 +01:00 by patrick plasp 3.2.0 -

Implement integrated planner component

enhancement

suggestion

#10 opened 2017-11-08 17:55:49 +01:00 by patrick plasp 3.2.0 -

Unify output format for axiom rules and derived predicates

enhancement

#8 opened 2017-11-03 19:44:40 +01:00 by patrick plasp 3.2.0 -

New command for computing requirements

enhancement

#7 opened 2017-11-03 19:42:55 +01:00 by patrick plasp 3.1.2