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

pvsio-web 2.3.0 #62

Closed pmasci closed 5 years ago

pmasci commented 5 years ago

New features in PVSio-Web 2.3.0

pmasci commented 5 years ago

A single line needs to be fixed in pvsio-web/package.json to resolve the conflict. This is the correct dependency: "ws": "3.3.2"