Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Operations on boolean vector : shift / mask

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Operations on boolean vector : shift / mask


Chronological Thread 
  • From: e AT x80.org (Emilio Jesús Gallego Arias)
  • To: Vincent Siles <vincent.siles AT ens-lyon.org>
  • Cc: Coq-Club Club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Operations on boolean vector : shift / mask
  • Date: Wed, 04 Apr 2018 11:14:46 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
  • Ironport-phdr: 9a23:S/PiqhULhlYVGNfSJy87JH2fgnbV8LGtZVwlr6E/grcLSJyIuqrYYxyPt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlDkIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZAo2ycZYBD+0PPehWrYbzpFUBohSiCgS3GOPj1iVFimPq0aAg0eksFxzN0gw6H9IJtXTZtMv6ObwdUO220KXE1zLDb+lZ2Tzg7ITGfRUhofCIXbJxdsra1E0hGB3ejk2KsozuIjKb2f4Js2if8eVgWuWvgHM7pgFrozig3NwshozPi4kIxF7E8iB5z5w0Jd2+UEN7bt+kEIdQtyGHLIR6WN8tQ2ZtuCs817YIuoa7cTAXxJkkxBPTceKLf5aJ7x75SeqcIyp0iGh4dL+xmRq+6Uutx+zmWsS10ltGtC5InsPRun0J1RHe7NWMROFn8Ue7wzmP0hje6uFaLkAwkqrWM5Egz70smpYJtkTDBCD2lF33jK+QaEok5vCl5/nkb7jlvJOQKZF4hwDkPqgzmMGzHP40PhUAUmSF4ei80afs/Uz9QLVElP02lazZvYjEKskAqa+0ABNZ3pwk6xalADeqyM4YkmUfLFJZZBKHiJDkNE3JIPDhFPuwn1CskCpwyP3dJb3gApDNLmDZn7v7fLZ97VRcyAspwtxF6ZJUEOJJHPWmZE73v9HeElcCMgi52K6zFtR73Y4YRSSUA6uUK4vft0TN4vMoJa+LfoBD6xjnLP1w6tb+3Sd/nkUSNemE2JoTaXfwPPl9sV7RTnPohtoOFi8jpAs3V6252xW5TTdPaiPqDOoH7TYhBdfjVN+bH9H/sPm6xC6+W6ZuSCVDA1GIH23vctTWS6dULiWILZ04y2BWZf2aU4YkkCqWmkri0bM2fPqEomsfr52xjIEotd2Wrgk78HlPN+rY02yJSDAmjjNQATgs0/ImrA==
  • Organization: X80 Heavy Industries

>> and some more experimental/unfinished business:
>>
>> https://github.com/ejgallego/ssrbit/
>
> Thank you for the last link, I'll have a look !

Thanks Pierre-Evariste for the link, the library is indeed very immature
and likely needs some redesign than I don't know when we'll able to
approach, that being said Vicent, the issue tracker and pull request
interface is open, where you are very welcome to complain or submit a patch.

E.


  • Re: [Coq-Club] Operations on boolean vector : shift / mask, Emilio Jesús Gallego Arias, 04/04/2018

Archive powered by MHonArc 2.6.18.

Top of Page