Precision of time.time() function on windows is about 15ms, which makes it almost useless for profiling. This function is used for 'time_kernel=True' launches.
Is it possible to change it to time.clock(), which works much better on windows? _______________________________________________ PyCUDA mailing list [email protected] http://tiker.net/mailman/listinfo/pycuda_tiker.net
