[isabelle-dev] \nexists

Joachim Breitner mail at joachim-breitner.de
Fri Jul 15 21:47:31 CEST 2016


Am Freitag, den 15.07.2016, 20:33 +0200 schrieb Makarius:
> The current Isabelle Jenkins setup has changed focus slightly. There
> are more continuously built "artifacts", like documents, but
> important "telemetry" data visualization is missing. So we are flying
> blind concerning performance figures, not just for AFP (as we do for
> many years), but also for the main repository.

if you have the telemetry data you want to visualize, and just need a
tool for rendering them nicely, you can have a look at the tool I wrote
for GHC:

GHC instance: https://perf.haskell.org/ghc/
Tool website: https://github.com/nomeata/gipeda

It targets git, but you could either replace the git-specifics by
equivalent code targeting mercurial (they are similar enough in these
matters), or run it over a git mirror of the repositories.



Joachim “nomeata” Breitner
  mail at joachim-breitner.dehttps://www.joachim-breitner.de/
  XMPP: nomeata at joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
  Debian Developer: nomeata at debian.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20160715/c5556a3e/attachment.sig>

More information about the isabelle-dev mailing list