Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Coq CPU recommendations

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq CPU recommendations


Chronological Thread 
  • 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




Archive powered by MHonArc 2.6.18.

Top of Page