> I am keen to see performance figures that are stored persistently in a
> very simple format that can be understood without any special tools.
I've designed the infrastructure with that in mind. In the current
setting, Jenkins retains the full build log files indefinitely.
> At the same time, th
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
On Thu, 25 Feb 2016, Lawrence Paulson wrote:
More complex analysis including Cauchy's inequality, Liouville theorem, open
mapping theorem, maximum modulus principle, Schwarz Lemma.
(See theory Conformal_Mappings.)
For the historical record: this refers to Isabelle/86f27b264d3d.
Mak
More complex analysis including Cauchy's inequality, Liouville theorem, open
mapping theorem, maximum modulus principle, Schwarz Lemma.
(See theory Conformal_Mappings.)
Larry
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.in
I hope I didn’t sound too critical. It’s a very impressive system, but I was
anxious to get those problems fixed quickly. I see that somebody else got there
first. (I frequently find theorems that are near-duplicates, which I eliminate,
and generally I’m pretty good at locating all uses of the e
> Forgive me if I’m overlooking something obvious, but the attached
> message about a failure in the AFP doesn’t seem to include any clue
> as to which of the 200+ entries actually failed. I spent a little
> time poking around https://ci.isabelle.systems/jenkins/ without
> learning anything more.
