[Verifpal] generating sequence diagrams?

Nadim Kobeissi nadim at symbolic.software
Mon Apr 27 19:28:55 CEST 2020


Try downloading a pre-built binary and referring to it via the VSCode config as I recommended in my previous email.

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from my iPhone

> On 27 Apr 2020, at 7:20 PM, Marko Schuetz-Schmuck <markoschuetz at googlemail.com> wrote:
> 
> Dear Nadim,
> 
> thanks for the detailed response.
> 
> I am using version 1.0.4 of the VS code extension. I think it's not
> picking up my installation of verifpal correctly. When I hover over any
> part of the source code I do not get the popup. I have the installation
> using snap, so
> 
> lrwxrwxrwx 1 root root 13 Apr 21 11:40 /var/lib/snapd/snap/bin/verifpal -> /usr/bin/snap
> 
> Could that play a role here?
> 
> Thanks and best regards,
> 
> Marko
> Nadim Kobeissi <nadim at symbolic.software> writes:
> 
>> Dear Marko,
>> 
>> You are most likely inputting an invalid Verifpal model. If you try to
>> visualize for example simple.vp, I bet it will work:
>> https://source.symbolic.software/verifpal/verifpal/-/blob/master/examples/simple.vp
>> 
>> 
>> I just pushed an update to the Visual Studio Code extension, version 1.0.4,
>> that will give more clear errors when the user attempts to either visualize
>> or analyze an invalid model.
>> 
>> Also, please make sure Verifpal is installed on your computer and that it
>> is detected by Visual Studio Code through your PATH. If it's not, you can
>> set the path to the Verifpal manually using the `verifpal.path` option in
>> your Visual Studio Code user settings file.
>> 
>> (You can easily test whether Verifpal is recognized by Visual Studio Code
>> by opening simple.vp, hovering your cursor over a constant and checking
>> whether Visual Studio Code correctly maps it back to its values in the
>> hover popup, or by attempting to generate a diagram of simple.vp, etc. etc.)
>> 
>> Nadim Kobeissi
>> Symbolic Software • https://symbolic.software
>> Sent from office
>> 
>> 
>>> On Sun, Apr 26, 2020 at 9:56 PM Marko Schuetz-Schmuck <
>>> markoschuetz at googlemail.com> wrote:
>>> 
>>> Nadim Kobeissi <nadim at symbolic.software> writes:
>>> 
>>> Thanks! But I still cannot get it: I installed the Verifpal extension
>>> for VS code and I have the corresponding entries in the command palette,
>>> but when I open Verifpal Protocol Diagram another pane opens, but
>>> remains black.
>>> 
>>> Any ideas?
>>> 
>>> Thanks and best regards,
>>> 
>>> Marko
>>> 
>>>> This was made using the same diagram generator that you can find and use
>>> yourself within the Verifpal extension for Visual Studio Code:
>>>> 
>>>> 
>>> https://marketplace.visualstudio.com/items?itemName=symbolicsoft.verifpal
>>>> 
>>>> Nadim Kobeissi
>>>> Symbolic Software • https://symbolic.software
>>>> 
>>>>> On 25 Apr 2020, at 8:07 PM, Marko Schuetz-Schmuck <
>>> markoschuetz at googlemail.com> wrote:
>>>>> 
>>>>> Dear Nadim,
>>>>> 
>>>>> e.g. the one on page 10 corresponding to the simple protocol.
>>>>> 
>>>>> Best regards,
>>>>> 
>>>>> Marko
>>>>> 
>>>>> Nadim Kobeissi <nadim at symbolic.software> writes:
>>>>> 
>>>>>> Dear Marko,
>>>>>> 
>>>>>> Could you please point out a sequence diagram in particular?
>>>>>> 
>>>>>> Thank you,
>>>>>> 
>>>>>> Nadim Kobeissi
>>>>>> Symbolic Software • https://symbolic.software
>>>>>> 
>>>>>>> On 25 Apr 2020, at 3:44 PM, Marko Schütz-Schmuck via Verifpal
>>> <verifpal at lists.symbolic.software> wrote:
>>>>>>> 
>>>>>>> Hi
>>>>>>> 
>>>>>>> I was wondering if the sequence diagrams in the Verifpal manual were
>>> generated automatically from the textual description. Or if not, which to
>>> was used to generate then?
>>>>>>> 
>>>>>>> Thanks and best regards
>>>>>>> 
>>>>>>> Marko
>>>>>>> 
>>>>>>> _______________________________________________
>>>>>>> Verifpal mailing list
>>>>>>> Verifpal at lists.symbolic.software
>>>>>>> https://lists.symbolic.software/mailman/listinfo/verifpal
>>>>>> 
>>>>> 
>>>>> --
>>>>> Prof. Dr. Marko Schütz-Schmuck
>>>>> Department of Computer Science and Engineering
>>>>> University of Puerto Rico at Mayagüez
>>>>> Mayagüez, PR 00681
>>>> 
>>> 
>>> --
>>> Prof. Dr. Marko Schütz-Schmuck
>>> Department of Computer Science and Engineering
>>> University of Puerto Rico at Mayagüez
>>> Mayagüez, PR 00681
>>> 
> 
> -- 
> Prof. Dr. Marko Schütz-Schmuck
> Department of Computer Science and Engineering
> University of Puerto Rico at Mayagüez
> Mayagüez, PR 00681


More information about the Verifpal mailing list