Bug#613986: ITP: run -- tool for sampling time and memory usage

2011-02-18 Thread Thomas Krennwallner
Package: wnpp Severity: wishlist Owner: Thomas Krennwallner tk...@kr.tuwien.ac.at * Package name: run Version : 1.4 Upstream Author : Armin Biere bi...@jku.at and Toni Jussila * URL : http://fmv.jku.at/run/ * License : BSD Programming Lang: C Description

Bug#613986: ITP: run -- tool for sampling time and memory usage

2011-02-18 Thread Lars Wirzenius
On pe, 2011-02-18 at 18:30 +0100, Thomas Krennwallner wrote: Package: wnpp Severity: wishlist Owner: Thomas Krennwallner tk...@kr.tuwien.ac.at * Package name: run Version : 1.4 Upstream Author : Armin Biere bi...@jku.at and Toni Jussila * URL :