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