Title make blind search faster again
Priority bug Status chatting
Superseder Nosy List jendrik, malte
Assigned To Keywords
Optional summary

Created on 2015-06-05.12:11:50 by jendrik, last changed by jendrik.

msg4610 (view) Author: jendrik Date: 2015-09-24.14:59:19
See also issue348.
msg4257 (view) Author: jendrik Date: 2015-06-05.12:11:50
The evaluation contexts introduced in issue77 made blind search significantly slower 
(see e.g. the relative scatter plot in issue77). We need to think about how we can make 
the procedure faster again. To evaluate success, we should do a comparison to a 
revision of the default branch that does not yet include the issue77 code.
Date User Action Args
2015-09-24 14:59:19jendriksetstatus: unread -> chatting
messages: + msg4610
2015-06-05 12:11:50jendrikcreate