[Verifpal] Announcing VerifHub

Friedrich Wiemer friedrich.wiemer at rub.de
Mon Jun 29 16:13:57 CEST 2020


Thanks! That's really awesome :)
What do you think about line numbers in the model discription? Would be easier for discussions, I think?

Best, 
Friedrich


On June 28, 2020 11:22:29 PM GMT+02:00, Nadim Kobeissi <nadim at symbolic.software> wrote:
>Dear Friedrich,
>
>As you have requested, VerifHub now supports the option to list a model
>as public.
>
>Enjoy,
>
>Nadim Kobeissi
>Symbolic Software • https://symbolic.software
>
>> On 28 Jun 2020, at 10:25 PM, Friedrich Wiemer via Verifpal
><verifpal at lists.symbolic.software> wrote:
>> 
>> Signed PGP part
>> Dear Nadim,
>> 
>> thanks for this awesome possibility! :)
>> 
>> I think it would be nice to have the option to submit a model as
>> "public" (in contrast to the (now) default "private") and to have a
>list
>> of the public models - this would also allow to have lots of example
>> models when learning how to use verifpal. What do you think?
>> 
>> Best
>> Friedrich
>> 
>> On Sun, Jun 28, 2020 at 10:11:45PM +0200, Nadim Kobeissi via Verifpal
>wrote:
>>> Hello everyone,
>>> 
>>> I just finished migrating VerifHub from its testing server to its
>own production server.
>>> 
>>> I noticed that about a dozen models were submitted this weekend.
>Unfortunately they will not be migrated to the production VerifHub
>server.
>>> 
>>> You may resubmit your models if you wish: now that we are in
>production stage, you can expect the service to be reliable and there
>will be no data loss.
>>> 
>>> Nadim Kobeissi
>>> Symbolic Software • https://symbolic.software
>>> 
>>>> On 28 Jun 2020, at 10:34 AM, Nadim Kobeissi
><nadim at symbolic.software> wrote:
>>>> 
>>>> Hello everyone,
>>>> 
>>>> VerifHub now also has the following features:
>>>> 
>>>> - Analysis results for models can now be directly viewed within
>VerifHub itself!
>>>> - Comments section for each model to discuss models!
>>>> - Better viewing on mobile devices and small screens!
>>>> - A privacy policy!
>>>> - Bug fixes and improvements!
>>>> 
>>>> Check it out here:
>>>> https://verifhub.verifpal.com/87b27566f0bb3e918ee319af71ea0f9d
>>>> https://verifhub.verifpal.com/fd313954d1390b9cfc65ab17711ff22f
>>>> 
>>>> Nadim Kobeissi
>>>> Symbolic Software • https://symbolic.software
>>>> 
>>>>> On 26 Jun 2020, at 3:51 PM, Nadim Kobeissi
><nadim at symbolic.software> wrote:
>>>>> 
>>>>> Hello everyone,
>>>>> 
>>>>> Verifpal 0.14.6 introduces support for VerifHub:
>>>>> https://verifhub.verifpal.com/
>>>>> 
>>>>> In the near future, Verifhub will also supporting viewing the
>analysis results for models within the VerifHub URL itself.
>>>>> 
>>>>> Feedback welcome.
>>>>> 
>>>>> Nadim Kobeissi
>>>>> Symbolic Software • https://symbolic.software
>>>>> 
>>>> 
>>> 
>> 
>> -- 
>> Dr. Friedrich Wiemer,
>> orcid.org/0000-0003-2998-6777
>> 
>> 

--
Dr. Friedrich Wiemer,
orcid.org/0000-0003-2998-6777 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200629/a0e57281/attachment.htm>


More information about the Verifpal mailing list