.issues/8a14b4849071f910
author Dmitriy Morozov <morozov@cs.duke.edu>
Sun, 17 Feb 2008 09:16:30 -0500
changeset 45 7c15f27bfa1b
parent 41 388fd8eade12
permissions -rwxr-xr-x
Merged the branch resulting from the upstream pull

From artemis Thu Jan 10 09:43:00 2008
From: Dmitriy Morozov <morozov@cs.duke.edu>
Date: Thu, 10 Jan 2008 04:36:03 -0500
State: new
Subject: Remove maintenance of "lazy decomposition"
Message-Id: <8a14b4849071f910-0-artemis@metatron>

The maintenance of "lazy decomposition" (added in [a0736dd3c671]) is
incorrect (due to original theoretical errors). Remove it completely.