log_readers started life reading the original Dafny logs and boiling them down to what was considered important at the time. But now we keep finding new angles in which the non-summarised data is useful; plus now we have darum's augmented logs, containing Dafny's stdout, source, etc. Those probably should be (mostly?) dealt with though log_readers too.
So log_readers should widen the data it returns; and then probably absorb most of the augmented read functionality too, to complement the log's data with what is gathered from stdout, etc.
Anyway this is low-priority while it's mostly a single-client library.
log_readers started life reading the original Dafny logs and boiling them down to what was considered important at the time. But now we keep finding new angles in which the non-summarised data is useful; plus now we have darum's augmented logs, containing Dafny's stdout, source, etc. Those probably should be (mostly?) dealt with though log_readers too.
So log_readers should widen the data it returns; and then probably absorb most of the augmented read functionality too, to complement the log's data with what is gathered from stdout, etc.
Anyway this is low-priority while it's mostly a single-client library.