Sign in Sign up
npm

esverify

ECMAScript program verifier based on SMT solving

npm View on Npm

Activity

Latest release
5y ago
Total releases
60
Cadence
~2 days
Last 12 months
0

Details

License
MIT
First release
Dec 01, 2016
Releases
Version Released
0.26.6 patch
0.26.5 patch
0.26.4 patch
0.26.3 patch
0.26.2 patch
0.26.1 patch
0.26.0 minor
0.25.7 patch
0.25.6 patch
0.25.5 patch
0.25.4 patch
0.25.3 patch
0.25.2 patch
0.25.1 patch
0.25.0 minor
0.24.3 patch
0.24.2 patch
0.24.1 patch
0.24.0 minor
0.23.0 minor
0.22.0 minor
0.21.3 patch
0.21.2 patch
0.21.1 patch
0.21.0 minor
0.20.2 patch
0.20.1 patch
0.20.0 minor
0.19.0 minor
0.18.0 minor
0.17.0 minor
0.16.0 minor
0.15.2 patch
0.15.1 patch
0.15.0 minor
0.14.0 minor
0.13.0 minor
0.12.0 minor
0.11.0 minor
0.10.0 minor
0.9.0 minor
0.8.0 minor
0.7.0 minor
0.6.0 minor
0.4.0 minor
0.3.3 patch
0.3.2 patch
0.3.1 patch
0.3.0 minor
0.2.0 minor
1–50 of 60