aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/doc/ale-dafny.txt (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement Lua ALE setup & overhaul documentationw0rp2025-03-271-1/+5
* dafny: add a timeLimit option and message-parsingD. Ben Knoble2020-11-301-0/+16