search

SRI-CSL / PVS

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

upgraded dependencies #63

Closed pmasci closed 5 years ago

pmasci commented 5 years ago

Fix for known vulnerabilities