coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: RE: [Coq-Club] Coq CPU recommendations
- Date: Fri, 19 Jun 2015 07:20:20 +0000
- Accept-language: de-DE, en-US
fine, I look into the bedrock samples. I anyway wanted to have a look at bedrock again.
Best regards,
Michael
From: coq-club-request AT inria.fr [mailto:coq-club-request AT inria.fr]
On Behalf Of Adam Chlipala
I'd be very interested in those results! My first thought for a benchmark would be the base examples of Bedrock <http://plv.csail.mit.edu/bedrock/>, which get built with the default make target. On 06/18/2015 02:45 AM, Soegtrop, Michael wrote:
|
- RE: [Coq-Club] Coq CPU recommendations, (continued)
- RE: [Coq-Club] Coq CPU recommendations, Soegtrop, Michael, 06/17/2015
- Re: [Coq-Club] Coq CPU recommendations, Enrico Tassi, 06/17/2015
- Re: [Coq-Club] Coq CPU recommendations, Matthieu Sozeau, 06/17/2015
- Re: [Coq-Club] Coq CPU recommendations, Adam Chlipala, 06/17/2015
- Re: [Coq-Club] Coq CPU recommendations, Timothy Carstens, 06/17/2015
- Re: [Coq-Club] Coq CPU recommendations, Timothy Carstens, 06/17/2015
- Re: [Coq-Club] Coq CPU recommendations, Pierre-Marie Pédrot, 06/18/2015
- Re: [Coq-Club] Coq CPU recommendations, David MENTRE, 06/18/2015
- RE: [Coq-Club] Coq CPU recommendations, Soegtrop, Michael, 06/18/2015
- Re: [Coq-Club] Coq CPU recommendations, Adam Chlipala, 06/18/2015
- RE: [Coq-Club] Coq CPU recommendations, Soegtrop, Michael, 06/19/2015
- Re: [Coq-Club] Coq CPU recommendations, Pierre-Marie Pédrot, 06/18/2015
- Re: [Coq-Club] Coq CPU recommendations, Timothy Carstens, 06/17/2015
- Re: [Coq-Club] Coq CPU recommendations, Timothy Carstens, 06/17/2015
- RE: [Coq-Club] Coq CPU recommendations, Soegtrop, Michael, 06/17/2015
Archive powered by MHonArc 2.6.18.