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

Assigned to nobody Assigned to anybody

patrick

Sort

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

Label

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

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

1

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