haybale-pitchfork 0.4.1

Verifying constant-time code with symbolic execution
Documentation