Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-06-09 | treewide: Remove indefinite article from meta.description | Alexis Hildebrandt | 1 | -1/+1 |
2024-03-29 | dafny: 4.5.0 -> 4.6.0 | R. Ryantm | 1 | -2/+2 |
2024-03-17 | dafny: 4.4.0 -> 4.5.0 | whonore | 2 | -24/+21 |
2023-12-15 | dafny: 4.3.0 -> 4.4.0 | whonore | 2 | -36/+31 |
2023-10-06 | dafny: 4.2.0 -> 4.3.0 | whonore | 1 | -15/+23 |
2023-07-28 | dafny: 4.0.0 -> 4.2.0 | whonore | 2 | -15/+16 |
2023-04-29 | dafny: remove unused deps | whonore | 1 | -184/+1 |
2023-04-29 | dafny: move to separate file | whonore | 2 | -0/+428 |