[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Include sampled names in benchmark output

Subject: Re: Include sampled names in benchmark output
From: Chris Warburton
Date: Wed, 15 Nov 2017 13:03:00 +0000
In-reply-to: <d872210c255c6491-0-artemis@nixos>
References: <d872210c255c6491-0-artemis@nixos>

Names are now included

References:
- Include sampled names in benchmark output
  - From: Chris Warburton

Prev by Date: Re: Add examples to README
Next by Date: Re: Trigger errors in benchmarking Nix
Previous by thread: Include sampled names in benchmark output
Next by thread: Handle 'lambda' and '@' in TIP theorems
Index(es):
- Date
- Thread