testboard: Changelog

wenzelm [Wed, 24 Jun 2020 11:16:57 +0200] rev 72207

more Java heap space (see 2d658beb815b);

wenzelm [Sun, 21 Jun 2020 11:12:19 +0200] rev 72206

clarified NEWS;

wenzelm [Sun, 21 Jun 2020 10:32:28 +0200] rev 72205

test

wenzelm [Sat, 20 Jun 2020 22:35:24 +0200] rev 72204

enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);

wenzelm [Sat, 20 Jun 2020 21:44:43 +0200] rev 72203

discontinued old AFP test: ancient hardware with insufficient resources;

wenzelm [Sat, 20 Jun 2020 21:07:39 +0200] rev 72202

test

wenzelm [Sat, 20 Jun 2020 19:05:56 +0200] rev 72201

tuned output;

wenzelm [Sat, 20 Jun 2020 16:36:32 +0200] rev 72200

merged

haftmann [Sat, 20 Jun 2020 05:56:28 +0000] rev 72199

simp rules for conversions

haftmann [Sat, 20 Jun 2020 05:56:28 +0000] rev 72198

more class operations for the sake of efficient generated code

testboard