[isabelle-dev] More accurate AFP statistics

Lars Hupel hupel at in.tum.de
Wed Apr 24 17:07:21 CEST 2019


Dear AFP contributors,

as most of you should be aware, there is a statistics page of the AFP:

<https://devel.isa-afp.org/statistics.html>

This includes a diagram of line growth over the years.

Recently, I've stumbled upon the tool "git-of-theseus" which can carry
out a more in-depth analysis of line changes: it also tracks how many
lines have survived.

I've attached the result of an AFP analysis to this email. Maybe some of
you find it interesting.

The tool itself can be found here:
<https://github.com/erikbern/git-of-theseus>.

Cheers
Lars
-------------- next part --------------
A non-text attachment was scrubbed...
Name: stack_plot.png
Type: image/png
Size: 84446 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20190424/e13c0a60/attachment-0001.png>


More information about the isabelle-dev mailing list