log

age author description
Wed, 11 Feb 2015 13:56:01 +0100 Doug Simon fixed findbugs issue
Wed, 11 Feb 2015 13:50:55 +0100 Doug Simon re-enabled use of graph cache
Wed, 11 Feb 2015 13:49:08 +0100 Doug Simon removed unnecessary use of an Assumptions object
Wed, 11 Feb 2015 13:39:33 +0100 Doug Simon removed vestige usages of Assumptions independent of a StructuredGraph
Wed, 11 Feb 2015 13:24:39 +0100 Doug Simon merge fixes
Wed, 11 Feb 2015 11:40:38 +0100 Doug Simon replaced use of expandable array with HashSet for recording assumptions