Issue34

Title new translator fails on some inputs
Priority urgent Status resolved
Superseder Nosy List malte
Assigned To malte Keywords
Optional summary

Created on 2009-10-11.14:44:37 by malte, last changed by malte.

Messages
msg73 (view) Author: malte Date: 2009-10-11.16:47:55
Fixed in r3326 (I think). Commit message:

translator:
* We now detect conditions that violate mutexes in a way that is not obvious
  from the default "partial encoding" (where facts that belong to several mutex
  groups are only represented in one SAS variable). This fixes translator crashes
  reported in issue34 (e.g. pipesworld-notankage #21).
* The bug fix requires that we always need to compute the "full encoding"
  (= all mutexes) in addition to the partial encoding, so we might as well write
  the all.groups file. Hence, option WRITE_ALL_MUTEXES is gone; it is now always
  enabled.
* This also fixes a long-standing issue with LAMA's translator that prevented
  us from setting ALLOW_CONFLICTING_EFFECTS to True, so ALLOW_CONFLICTING_EFFECTS
  is now set to True. (For more information, see the "Note" at the bottom of
  previous revisions of translate.py that mentions "on(a,a)" in blocksworld.)
msg69 (view) Author: malte Date: 2009-10-11.14:44:37
The new translator fails with a "Conflicting add effects?" assertion on some
inputs on which the old one used to work:

  * pipesworld-notankage #21-50
  * pipesworld-tankage #21-25, #29, #31, #33-36, #39-40, #47-50
History
Date User Action Args
2009-10-11 16:48:10maltesetassignedto: malte
2009-10-11 16:47:55maltesetstatus: unread -> resolved
messages: + msg73
2009-10-11 14:44:37maltecreate