summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterdev-lang/dafny-bin: use insoptsMaciej Barć38 min.