5 Commits

Author	SHA1	Message	Date
Basile Burg	c65592d659	add a protection against large process output, close #424	2019-01-25 13:08:17 +01:00
Basile Burg	492cd4e8e5	fix #336 - Out of order messages	2019-01-20 12:12:03 +01:00
Basile Burg	b76cc3ce0e	fix double message when tool terminated	2019-01-18 06:43:32 +01:00
Basile Burg	fee4a1b0d1	indicates when a tool exits normally	2019-01-12 03:49:46 +01:00
Basile Burg	f603fe1879	Get rid of old `TCE<Name>` class identifiers, step 2, #374	2019-01-02 21:10:48 +01:00