bool is_empty() for not writing to files - redo of 3081#3082

Closed

rok-cesnovar wants to merge 9 commits intomasterfrom

fix/empty-diagnostic-writer-2

Commits on Nov 9, 2021

bool is_empty() for not writing to files.

SteveBronder
authored and
rok-cesnovar
committed
add docs for empty member and member function

SteveBronder
authored and
rok-cesnovar
committed
[Jenkins] auto-formatting by clang-format version 6.0.0-1ubuntu2~16.04.1 (tags/RELEASE_600/final)

stan-buildbot
authored and
rok-cesnovar
committed
fix instrumented_writer

SteveBronder
authored and
rok-cesnovar
committed
make is_empty() non-pure

SteveBronder
authored and
rok-cesnovar
committed
update

SteveBronder
authored and
rok-cesnovar
committed

Commits on Nov 11, 2021

update is_empty() to false
SteveBronder
committed

Commits on Nov 19, 2021