[isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)
makarius at sketis.net
Sat May 12 23:45:27 CEST 2018
On 12/05/18 00:27, Makarius wrote:
> Here is recent timing information for JinjaThreads, which indicates that
> it has suffered recently:
> I.e. it stopped working, and came back to live much slower.
Here are some further results from looking through AFP build_status (the
relevant interval is b91c4acc1aaf:b25ccd85b1fd):
* faster: Gauss_Jordan, Vickrey_Clarke_Groves, Card_Partitions,
* slower: Stone_Relation_Algebras
It means that the "Generalizations in the formalization of linear
algebra" make things much faster in many situations.
The slowdown of the small session Stone_Relation_Algebras might help to
figure out what is actually going on.
More information about the isabelle-dev