5 Commits

Author	SHA1	Message	Date
Christopher Goes	482537e6c1	Merge PR #2430: Aggressive slashing simulation & fixes	2018-10-05 19:42:52 +02:00
Christopher Goes	b7cb2e4252	Slowly start multiple simulations in parallel	2018-10-05 15:07:28 +02:00
Christopher Goes	1046831296	Don't trap EXIT	2018-10-05 15:03:17 +02:00
Christopher Goes	fdc7b4d7a5	Add default CI multi-seed sim	2018-10-05 14:33:46 +02:00
Christopher Goes	91ee6b0d99	Merge PR #2313: Multi-seed parallel simulation	2018-09-26 23:04:42 +08:00