log

age author description
Mon, 17 Dec 2012 16:38:48 +0100 Gilles Duboscq Use ThreadMXBean to get CPU time instead of Wallclock time for Timers if possible
Mon, 17 Dec 2012 16:02:43 +0100 Gilles Duboscq Move loop unswitching before lowering
Mon, 17 Dec 2012 16:01:55 +0100 Gilles Duboscq Fix for KillCFG while killing infinite empty loops