Yuval Simon
Yuval Simon
@yossigil Adi suggested to add configuration page for the bloaters so that the user can choose which bloaters to use. He suggested to give divide the tippers to some levels...
@yossigil : Done.
@yossigil Done 👍
Until a week ago I worked on issues #233 and #880. In the last week I fixed bug #467 , fixed a bug in #880, wrote wiki for #851 and...
Week 1 report: - Solved a bug in switch branch sort tipper #1147 - Improved bloater implamantation #1093 - Searched for bugs in the spartanizer and bloater
Week 2 report: * Reimplemented TernaryPushup for #1178 * Fixed bug #1148, @OriRoth helped * Partly fixed bug #1198, @OriRoth finished it * Fixed bugs in CasesSplit (#1164, #1202) *...
Week 3 report: * #1107, #1109 (not only the bugs mentioned, these bloaters actually did not do what they were supposed to do) * #1199 * Some work on #1222...
@ArthurSap What project is it?
@tomerdragucki check this ad7b4bd8e610f488b1d4bd74a840d77600438006
@OriRoth can you explain? Duplicate of #1148?