Giters

SRI-CSL / PVS

The People's Verification System

Home Page:http://pvs.csl.sri.com

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

The GUI should be able to get the latest files directly from Git

happyhuman opened this issue · comments

commented

This includes "pvs-gui.json" file.