This commit advances Litani to release 1.10.0, and the starter kit to
the tip-of-tree. This brings the following improvements:
Profiling
Litani measures the memory usage of the CBMC safety checking and
coverage checking jobs
The dashboard includes box-and-whisker diagrams for memory use per
proof
The dashboard includes a graph of how many parallel jobs are
running over the whole run, making it easy to choose a CI machine
with enough parallelism
It is now possible to designate particular proofs as "EXPENSIVE";
Litani runs expensive proofs serially, ensuring that they do not
over-consume resources like RAM.
UI improvements
Each pipeline page includes a table of contents
Each pipeline page includes a dependency graph of the pipeline
Each job on the pipeline page has a hyperlink to that job
The terminal output is now less noisy
Issue #, if available:
Description of changes:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
This commit advances Litani to release 1.10.0, and the starter kit to the tip-of-tree. This brings the following improvements:
Profiling
UI improvements
Issue #, if available:
Description of changes:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.