[isabelle-dev] scala-2.12.2

2017-05-19 Thread Makarius 
With Isabelle/a43a079156a6 we are on scala-2.12.2, leaving the 2.11.x
behind.

This is a major update, in particular it makes better use of the
underlying Java 8 platform.


Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] jdk-8u131

2017-05-19 Thread Makarius 
With Isabelle/300beacd9875 we are on jdk-8u131, which was released by
Oracle some weeks ago. This is a minor update; see also:

http://www.oracle.com/technetwork/java/javase/8u131-relnotes-3565278.html
http://www.oracle.com/technetwork/java/javase/2col/8u131-bugfixes-3565760.html


Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Re: [isabelle-dev] Poly/ML 5.7

2017-05-19 Thread Makarius 
On 15/05/17 14:33, Makarius wrote:
> On 15/05/17 12:14, Makarius wrote:
>> Some results can be seen here:
>>
>> http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux/index.html
>> http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux_2_threads/index.html
>>
>> The test hardware is similar or actually the same as "Linux A", but this
>> needs to be investigated further. It is also important to compare
>> timings for the *same* Isabelle versions, but the Poly_ML_5.7_Linux task
>> is still busy digging into older history.
> 
> Maybe I also manage to get ml_statistics into the charts soon. Then we
> can look at heap, task, thread details etc.

I have now done that in various changes leading to Isabelle/65e132abab1e.

Moreover, I have made a fresh start for "Poly/ML 5.7" measurements, with
precisely the same parameters as "Linux A" (Isabelle/d547173212d2). This
explains why there are only a few data points for Poly/ML 5.7, but the
situation will improve every day.


This means we can now compare the measurements and analyze the (slight)
performance losses of Poly/ML 5.7.


Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev