log

age author description
Fri, 11 Oct 2019 00:18:34 -0700 Martin von Zweigbergk widening: pass in matchers instead of patterns
Thu, 10 Oct 2019 22:41:50 -0700 Martin von Zweigbergk widening: trust user to give full "known" set
Fri, 11 Oct 2019 00:06:27 -0700 Martin von Zweigbergk widening: remove "depth" argument since it's always None
Fri, 11 Oct 2019 00:03:10 -0700 Martin von Zweigbergk widening: remove unused "heads" argument