On Thu, 25 Feb 2016, Lars Hupel wrote:
My short-term agenda looks like this, in decreasing order of priority:
- afptest-style mails
- more useful mails to the general public
- ISABELLE_FULL_TEST and ~~/src/Benchmarks
- testboard_submit script for simultaneous Isabelle & AFP testing
If you have any problems with or suggestions for the infrastructure,
please ping me. If I know what users want I can avoid needless work.
I am keen to see performance figures that are stored persistently in a
very simple format that can be understood without any special tools.
At the same time, there should be some kind of browser for performance
charts along changeset lines. Maybe you have some keen student who wants
to make a project with Scala.js?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
