.issues/8a14b4849071f910
author Dmitriy Morozov <morozov@cs.duke.edu>
Wed, 19 Mar 2008 12:50:35 -0400
branchar
changeset 85 58deab1c8eb9
parent 41 388fd8eade12
permissions -rwxr-xr-x
Merged in upstream changes and reopened #c42

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.