coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Timing and space benchmarks

From: "Paul A. Steckler" <steck AT stecksoft.com>
To: "Paul A. Steckler" <steck AT stecksoft.com>, coq-club AT inria.fr
Subject: Re: [Coq-Club] Timing and space benchmarks
Date: Tue, 19 Apr 2016 10:07:19 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=stecksoft AT gmail.com; spf=Pass smtp.mailfrom=stecksoft AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f65.google.com
Ironport-phdr: 9a23:vpPH1xYDQgGofSKu0OsGh13/LSx+4OfEezUN459isYplN5qZpcS/bnLW6fgltlLVR4KTs6sC0LqG9f67EjVaut6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDivcOIKFwS33KUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtB4RRETBuGiZ939HmvhrHQBHFri8HTmgdkTJTHwXO7wr9UIu3uSz/4K410y6DeMbyULocWDK47q4tRgW7pj0AMmtzyGjKjoRZyupgvB+qpBhy2cScNJqJOfF9VrjBcNgZXm1PQoBaUCkXUdD0VJcGE+dUZbUQlIL6vVZb9RY=

In the latest OCaml Weekly News, there's an announcement about OCI, a
framework for benchmarking specific commits within a git repo. I'll
look into its suitability for this project.

-- Paul

On Mon, Apr 18, 2016 at 6:29 PM, John Wiegley
<johnw AT newartisans.com>
wrote:
>>>>>> Paul A Steckler
>>>>>> <steck AT stecksoft.com>
>>>>>> writes:
>
>> At the Working Group meeting on Friday, I suggested that it would be a good
>> idea to have benchmarks for individual tactics. My original thought was to
>> have timing benchmarks, and others suggested space benchmarks would be
>> useful as well. Such benchmarks could be used as the basis of regression
>> tests. The attendees seemed to agree that benchmarks would be a good idea.
>> I
>> hope others agree.
>
> This is a great idea, Paul, and it's something I've been trying to get
> started
> for Emacs Lisp as well, so I'd be interested to learn what kind of tooling
> you
> build to make this project happen.
>
> --
> John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
> http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2

[Coq-Club] Timing and space benchmarks, Paul A. Steckler, 04/18/2016
- Re: [Coq-Club] Timing and space benchmarks, John Wiegley, 04/18/2016
  - Re: [Coq-Club] Timing and space benchmarks, Paul A. Steckler, 04/19/2016
    - Message not available
      - Re: [Coq-Club] Timing and space benchmarks, François Bobot, 04/20/2016
        
        Re: [Coq-Club] Timing and space benchmarks, Paul A. Steckler, 04/20/2016
        
        Message not available
        
        Re: [Coq-Club] Timing and space benchmarks, Jason Gross, 04/20/2016
        
        Re: [Coq-Club] Timing and space benchmarks, Paul A. Steckler, 04/21/2016
        
        Re: [Coq-Club] Timing and space benchmarks, Hugo Herbelin, 04/21/2016