log

age author description
Mon, 17 Mar 2014 12:40:35 -0700 Michael Van De Vanter Merge with 5e04917e66165ef93fe7b61030c4d89a08b3d53c
Mon, 17 Mar 2014 12:39:25 -0700 Michael Van De Vanter Remove TODOs no longer relevant
Mon, 17 Mar 2014 18:46:39 +0100 Christian Humer Truffle: renamed NodeFilter to NodeCountFilter and changed it to have inclusive implementation semantics.