testboard: Changelog

paulson <lp15@cam.ac.uk> [Sun, 30 Aug 2020 19:45:46 +0100] rev 72458

minor tidying, also s->S and t->T

paulson [Sat, 29 Aug 2020 16:30:33 +0100] rev 72457

merged

wenzelm [Fri, 28 Aug 2020 16:14:19 +0200] rev 72456

more robust interpretation of data;

paulson <lp15@cam.ac.uk> [Sat, 29 Aug 2020 16:30:22 +0100] rev 72455

quite a bit of tidying

paulson [Fri, 28 Aug 2020 12:04:53 +0100] rev 72454

merged

wenzelm [Thu, 27 Aug 2020 17:15:33 +0200] rev 72453

initial Kodkod.warmup: preloading and basic integrity test;

wenzelm [Thu, 27 Aug 2020 17:05:59 +0200] rev 72452

strict init of protocol handlers;

wenzelm [Thu, 27 Aug 2020 15:16:56 +0200] rev 72451

clarified treatment of add-on prover_options;

wenzelm [Thu, 27 Aug 2020 13:06:58 +0200] rev 72450

clarified signature;

wenzelm [Thu, 27 Aug 2020 12:51:57 +0200] rev 72449

clarified modules;

testboard