coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: David MENTRE <dmentre AT linux-france.org>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Coq CPU recommendations
- Date: Thu, 18 Jun 2015 08:18:08 +0200
Hello,
Le 18/06/2015 00:19, Pierre-Marie Pédrot a écrit :
We were considering to switch to HAMT, but I did not have time to test
this yet...
Before doing any deep development, wouldn't it worth evaluating the current situation with specialists in processor architecture? For example ALF team (https://team.inria.fr/alf/) at INRIA Rennes.
Best regards,
david
- Re: [Coq-Club] Coq CPU recommendations, (continued)
- Re: [Coq-Club] Coq CPU recommendations, Adam Chlipala, 06/16/2015
- Re: [Coq-Club] Coq CPU recommendations, George Van Treeck, 06/16/2015
- RE: [Coq-Club] Coq CPU recommendations, Soegtrop, Michael, 06/17/2015
- 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, Soegtrop, Michael, 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.