haybale-pitchfork 0.4.1

Verifying constant-time code with symbolic execution
Documentation
{
  "git": {
    "sha1": "69a048a66c59118bf88b21008fef2afc40e97263"
  }
}