Miklos Vajna
Miklos Vajna
Makes sense, thanks, take your time :)
No problem, thanks!
Some kind of slicer would make sense in the graphs activity, though perhaps that should not change the setting permanently. Are you interested in looking at that yourself?
Great, looking forward to your PR. :-)
The guide/ subdir has the docs, https://vmiklos.hu/ged2dot/usage.html is the rendered result of that. Can you submit a PR to improve it based on the above? Please make sure to actually...
Duplication is bad, so the README.md is a minimal one, and the actual documentation is a guide, with several chapters. One of them is the usage one. I don't want...
FWIW I see that online.git commit 0026f62181872ed50ef01d457a4c54d0be38140f implements this now.
I think the root of the trouble is that llvm's JSON output tells us the line coverage percentage, so if it's complete or not is precise, but what lines are...
FWIW I filed https://github.com/llvm/llvm-project/issues/126307, in case llvm-cov would give us which lines are not covered, then we could drop our own calculation, so you could not end up with a...
I can reproduce this behavior. When doing the same in desktop Collabora Office, then you have 2 cases. The default is to go via RTF export in Writer and RTF...