A tool for formally verifying constant-time software against hardware 🕰️ - View it on GitHub