coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Yixuan Chen <yixuan.chen AT yale.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Is there a VST mailing list/chat?
Date: Mon, 11 Jan 2021 12:05:33 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yixuan.chen AT yale.edu; spf=Pass smtp.mailfrom=yixuan.chen AT yale.edu; spf=None smtp.helo=postmaster AT mail-io1-f50.google.com
Ironport-phdr: 9a23:tbOVhhz8RDEuKMrXCy+O+j09IxM/srCxBDY+r6Qd2usUIJqq85mqBkHD//Il1AaPAdyEragZ0qGH7ejJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVhjexe61+IRWroQnessQbgJZpJ7osxBfOvnZGYfldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbDVheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulSwJNSM28HvPh8J+jKxVvhGvqB5xw4DJb46aKOFzcbnBcd4AX2dNQtpdWi5HD4ihb4UPFe0BPeNAoob/plsPoga+ChOqBOjy1DJIhmH53asn2OkmEQDG3QMhH88Uv3TSttn6KKcSXv6zzKTTzTTMdfdW1inn5IfWbx8hvOiBULRtesXe1UchDRnKjkmMqYP7JTOV0PwAvmyZ4ud8Vu+iiXIrpgB+rDagxskhjpXEi54Lxl3K9ih0z5o4KN+4RUJlY9OqHpVduSGHO4Z1X88sTGNltTs0xLAApJW1ci8KyJE9yB7ebfyKa5CI4gjiVOaXPTh3mm5leLW5hxqo70ev1/D8W8+p21hJtipIisfAumwJ2hDJ6cWKSuFx8lqg1DuOzQze6v1ILVgqmafaN5It37s9mocQvEvZGyL5hEX7gLOLekgh5Oek9frobqnjq5KcKoN7kRzyP6EzlsGxHOs1MQ0DUmaB9um/2rDu+FD2TbVRgfA0lKTSrYrUKt4BpqGjBg9YyoYj5Ai7DzehyNkYmGMILFNBeB6ejojpPEzCLOn2Dfq/n1igijhrx/fBPr3uBpXCMGLPn6vmfbZ480JcyQwzws5D559MFL0NPPb+VlXyudHYFBM1Lg25zuf9BNh9yo8SQWePDbWYMKPWv1+I/OUvI+yUaY4VuTb8JOUl6OTojXMjhVAdfbem3Z0MZXG4BPtmJ1uWbWDyjdgcDGcGphA+Q/DyiF2eTT5TYG6/UL475jEiEY6pEYPDRp22j7Gaxye6HphWZnhcBVyWEHfocZ+EW/YWZy6ILM9hiG9Mab/0QIg4kBqqqQXSyrx9L+OS9DdLm4jk0Y1E5v3OnBd63jx5CYzJwmCdUmhy2GgISjkezal7rApwxkrVgvswuOBRCdEGv6ABaQw9L5OJl7UnWeC3YRrIe5KycHjjQtiiBmtsHNc4wttLYkEkXtv/1lbM2C2lB7JTnLuOVsRtrvDsmkPpLsM48E7okbE7hgB+ENpGMWDgi6JipVCKVtz51n6BnqPvTpwymSvE9WON122L5RkKQQd0XOPIUW1NP0Y=

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