1 | | Currently the the problematic files in SVN are |
2 | | - {{{lemon/time_measure.h}}} |
3 | | - {{{lemon/graph_to_eps.h}}} |
4 | | |
5 | | Both require some linux specific time query functions ({{{times()}}}, {{{gettimeofday()}}} and {{{ctime()}}}). In the SVN repo, there is an implementation of these in {{{lemon/bits/mingw32_time.*}}} (thanks to Dann Corbit), but the code isn't clean enough. |
| 1 | 2) I uploaded the new patch based on your issue. |
| 2 | 1) In my opinion, the rounding error is just a slightly dependent on this change. If t1 and t2 values are the retrieved timestamps and c is the clock time, then the (t2-t1)/c and the t2/c-t1/c should give back nearly the same value, because the division could not cause big relative error. But I think, the conversion from clock_t to double, which is already in the original version, could cause big relative error, when we subtract t1 from t2. However, on a regular linux desktop it does not cause problem, because the sensitivity of timer is at most 1/1000 second, and the double value has 52 binary digits, so more than 140 thousand years can measured with TimeStamp. |