History log of /seL4-l4v-master/l4v/misc/stats/stats.py
Revision Date Author Comments
# 04b7a418 22-Jul-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

trivial: fix stray indent

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>


# 23982787 29-Jun-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

misc/stats: properly report sorry balance+rate

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>


# a27a1da4 26-Jun-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

misc: script for tracking sorry count stats

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>