coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Is there a VST mailing list/chat?

From: Nika Pona <npona AT codeminders.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Is there a VST mailing list/chat?
Date: Mon, 11 Jan 2021 19:19:11 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=npona AT codeminders.com; spf=Pass smtp.mailfrom=npona AT codeminders.com; spf=None smtp.helo=postmaster AT mail-wm1-f45.google.com
Ironport-phdr: 9a23:+60RJx/Sg5C/ev9uRHKM819IXTAuvvDOBiVQ1KB30OkcTK2v8tzYMVDF4r011RmVBNqdsa8dwLuJ+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxhKiTanf79/LAi6oQrVu8QUnIBvNrs/xhzVr3VSZu9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnYUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRRn1gykFKjE56nnahcN+jK1ZoByvqR9xzZPKbo6JL/dxZL/RcMkASGZdQspcVSpMCZ68YYsVCOoBOP5VoZH8p1sNtxS1GBOiBOTpyjBSm3T72qs60/wmEQHAxgMtBM4BsHPJo9rrMacSUOa1w7TWwjXZdPNawyvy6I/Nch04p/yHQL1/f9bLx0Y1CwPFkkufqZbjPz6N2eoArnSX4eVkWO6ylmMrtw98rySvy8owl4XHiJ4ZxkzE+Clk3Yo4Ktm1RkB7bNK5E5Zdty+UOpdoT888Q29kpSA3waAIt568eSgF0pUnxxjHZvyfaYiI4xTjW/qPLjdkg3JlfqiziAiv/ki9zOD3S8q60E5SoyZbjtXBsmoB2h/T58SdV/dx4ESs1SyA2g3T7OxPPFo6mrDBK5E7x749jpoTvlrHHi/xgEj2ibWZdkQg+uSx5eXnZ6jqqoaSN4J7igzyKKsumsu4AeQ3NggBQXKX9vi71L3m5UH5QbNKgeMqkqTBrpzWOcAWqrS6DgJVyIov9gizAjS83NkXnXQLNFdFdwiGj4jtNVHOOvf4DfKnjlSqiDdrwPbGMaf6D5rRKXjMjanufbN8605a1QU808pf54lOBr4dJ/LzX1f9tMbEAR8hLwy03+HnBc1h2YMZQGKDG7OWMKfPsVCT/e8vOOmNZIoNuDnnMfQl5vjujWU4mVAHZ6Wp04EXOziEGaFtJFzcan7xiP8AF30Lt0wwVr/EklqHBBhSZH/6Z6U673lvDpqhC47rTYehjbmA2iu2BIYQbWdDXAPfWUz0fpmJDq9fIBmZJdVsx2RdBOqRDrQ53BTrjzfUjr9uL+7a4Cod7M2x39956ujSkx0/7ycyBMOYgTjUEzNE21gQTjpz55hR5FRnww7cg6N/j/FdFNpf6ulSFAw9MMyElrEoO5XJQgvEO+yxZhOmT9GhW2xjS9swx5oRZh84FYn/yB/E2CWuDvkekLnZXJE=

Great, thanks!

On Mon, Jan 11, 2021 at 7:05 PM Yixuan Chen <yixuan.chen AT yale.edu> wrote:

There is one, indeed.

https://lists.cs.princeton.edu/mailman/listinfo/vst-user

Best,
Yixuan Chen

On Jan 11, 2021, 12:02 PM -0500, Nika Pona <npona AT codeminders.com>, wrote:

Hi all,
I've been working with VST for a year now and I was wondering if there was a way to communicate with VST developers and users, similar to coq-club. Stackoverflow verifiable-c tag is not very active, github issues are not always appropriate.

For instance, I am not sure how to prove this:

Lemma forall a, valid_pointer a |-- weak_valid_pointer (offset_val 1 a)). Any hints?

Best,

Nika

[Coq-Club] Is there a VST mailing list/chat?, Nika Pona, 01/11/2021
- Re: [Coq-Club] Is there a VST mailing list/chat?, Yixuan Chen, 01/11/2021
  - Re: [Coq-Club] Is there a VST mailing list/chat?, Nika Pona, 01/11/2021