theory-exploration-benchmarks: Commit: 2862edcc3584b511dc54a72ecd1a5fc12cc71ab3

Branch: master

Author: Chris Warburton <chriswarbo@gmail.com>
Date: Mon Aug 13 01:37:16 PM UTC 2018
Commit: 2862edcc3584b511dc54a72ecd1a5fc12cc71ab3
Parent: 5377f76189407db0418b608ade3dec54695f904a (diff to parent)
Log message: 

    Try using newer asv-nix, to avoid error

Diff Stat to 5377f76189407db0418b608ade3dec54695f904a: 
default.nix (old)                                                 (diff) | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

Files:

Generated by git2html.