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