log

age author description
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
Wed, 11 Feb 2015 11:38:22 +0100 Doug Simon changed type of assumptions field in CompilationResult from Assumptions to Assumption[]