merge with PVSio-web version 2.0.2a - 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

merge with PVSio-web version 2.0.2a #49

Closed PaoloMasci closed 8 years ago

PaoloMasci commented 8 years ago

New features in PVSio-web 2.0.2a:

Physical keyboard keys can be linked to prototype keys
Voice readback for button actions
Wallclock for automatic execution of tick transitions defined in the PVS model
Improved Emucharts Editor
New modelling extension: Presentation Interaction Models (PIMs)
PVSio-web network controller for distributed simulations