summaryrefslogtreecommitdiff
path: root/doc/ale-dafny.txt
AgeCommit message (Collapse)Author
2020-11-30dafny: add a timeLimit option and message-parsingD. Ben Knoble