[Verifpal] Announcing VerifHub

Nadim Kobeissi nadim at symbolic.software
Mon Jun 29 16:28:39 CEST 2020


Excellent idea Friedrich; line numbers have now been added.

Demo:
https://verifhub.verifpal.com/c5603ff17dde570e107d39030844c40b

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On 29 Jun 2020, at 4:13 PM, Friedrich Wiemer via Verifpal <verifpal at lists.symbolic.software> wrote:
> 
> 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
> 
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal



More information about the Verifpal mailing list