log

age author description
Wed, 02 Oct 2019 13:43:27 -0400 Pierre-Yves David copies: simplify the handling of merges
Mon, 07 Oct 2019 23:17:44 +0200 Raphaël Gomès rust-utils: introduce a debug util to print the python stack trace
Wed, 16 Oct 2019 17:16:23 +0300 Raphaël Gomès rust-cross-platform: remove `unimplemented!` to get compile-time errors
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