Issue1146

Title Validate output.sas
Priority meta Status chatting
Superseder Nosy List florian, gabi, jendrik, malte, tanja
Assigned To Keywords
Optional summary
related: issue1069 issue458 issue762 issue1039 issue54

Created on 2024-07-12.10:56:38 by tanja, last changed by florian.

Summary
related: issue1069 issue458 issue762 issue1039 issue54
Messages
msg11689 (view) Author: florian Date: 2024-09-05.15:21:06
In issue1150, we saw a case where the original task satisfied a property (in that case that prevail conditions do not explicitly mention the precondition fact as an effect), but a task transformation of the task did not.

This is a reminder that once we finalize the list of properties we expect a task to have, we have to decide if we want all task transformations to maintain these properties (with the possible exception of transformations meant only for internal use).

Currently, task transformations that are not exposed to the user level cannot be freely combined with all plugins because they may violate assumptions in places were it doesn't matter in the situations they are currently used in.
msg11658 (view) Author: tanja Date: 2024-07-19.15:44:20
A draft pull request for this issue can be found at https://github.com/aibasel/downward/pull/227
msg11630 (view) Author: tanja Date: 2024-07-12.10:56:38
Create meta issue related to sprint story.
History
Date User Action Args
2024-09-05 15:21:06floriansetmessages: + msg11689
2024-07-19 15:44:20tanjasetstatus: unread -> chatting
messages: + msg11658
2024-07-14 11:22:03floriansetnosy: + florian
2024-07-12 11:36:42gabisetnosy: + gabi
2024-07-12 10:56:38tanjacreate