dolfin team mailing list archive

[Johan Hake <johan.hake@xxxxxxxxx>]

On Wednesday November 10 2010 13:14:26 noreply@xxxxxxxxxxxxx wrote:
> ------------------------------------------------------------
> revno: 5256
> committer: Anders Logg <logg@xxxxxxxxx>
> branch nick: dolfin
> timestamp: Wed 2010-11-10 22:11:59 +0100
> message:
>   Use boost::timer in place of std::clock. Simplifies implementation,
>   but same (slow) speed as std::clock and equally bad precision.
>   boost:timer most likely uses std::clock but at least the implementation
>   is simplified.

The boost::timer _is_ using std::clock and the implementation is more or less 
exactly the same as ours (where) :). I looked into this when I tried to fix 
the strange timer bug in PyDOLFIN.

Johan

> modified:
>   dolfin/common/timing.cpp
> 
> 
> --
> lp:dolfin
> https://code.launchpad.net/~dolfin-core/dolfin/main
> 
> Your team DOLFIN Core Team is subscribed to branch lp:dolfin.
> To unsubscribe from this branch go to
> https://code.launchpad.net/~dolfin-core/dolfin/main/+edit-subscription