Breaking the limits of TLA+ model checking
Graphing TLA+ state spaces for fun and profit.| Hillel Wayne
img {border-style: groove; border-width: 1px;} I love Autohotkey so much that it keeps me on Windows. It’s the best GUI automation tool out there. Here’s a shortcut that opens my current browser tab in the Wayback Machine: #HotIf WinActive("ahk_exe firefox.exe") >!^s:: { Keywait("RControl") Keywait("RAlt") SendEvent("^l") SendInput("{left}https://web.archive.org/web/*/{enter}") } #HotIf By comparison, the official extension takes four files to do the same thing. Four files!1 But I come he...| Hillel Wayne
Graphing TLA+ state spaces for fun and profit.| Hillel Wayne
