search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
132 stars 32 forks source link

updated pvsio-web to the latest version #87

Closed pmasci closed 2 years ago

pmasci commented 2 years ago

This update pulls the latest version of the pvsio-web submodule and will resolve security warnings reported by dependabot