A tool for verifying if some code is constant time
Primary LanguagePythonApache License 2.0Apache-2.0