[Verifpal] Announcing VerifHub

Nadim Kobeissi nadim at symbolic.software
Sun Jun 28 23:22:29 CEST 2020


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
> 
> 



More information about the Verifpal mailing list