A tool for verifying constant-time code.
The basic requirements are:
which rely transitively on:
Install from npm:
$ npm i -g ctverif
Run without arguments for usage:
$ ctverif
Emulate installation of local repository:
$ npm link
Release a new version to npm:
$ npm version [major|minor|patch]
$ npm publish