improved json schema - Githubissues

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

Closed pmasci closed 5 years ago

pmasci commented 5 years ago

redefined pvs.request, removed duplicated properties, fixed mistyped properties, pretty-printed json