Changes for version 1.53

  • Windows: higher resolution time() by using the Windows performance counter API, from Jan Dubois and Anton Shcherbinin. The exact new higher resolution depends on the hardware, but it should be quite a bit better than using the basic Windows timers.

Modules

High resolution alarm, sleep, gettimeofday, interval timers