Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-11-27 | Update to Dafny 4.9.1 | Tej Chajed | |
2024-10-28 | Update to Dafny 4.9.0 | Tej Chajed | |
2024-09-16 | Update to Dafny 4.8.1 | Tej Chajed | |
2024-08-29 | Update to Dafny 4.8.0 | Tej Chajed | |
2024-06-20 | Update to Dafny 4.7.0 | Tej Chajed | |
2024-05-08 | Update to Dafny 4.6.0 | Tej Chajed | |
2023-12-12 | Update to Dafny 4.4.0 | Tej Chajed | |
2023-11-29 | Update to Dafny 4.3.0 | Tej Chajed | |
2023-07-28 | Update to Dafny 4.2.0 | Tej Chajed | |
2023-05-10 | Update to Dafny 4.1.0 | Tej Chajed | |
2023-03-02 | Update to Dafny 3.13.1 | Tej Chajed | |
2023-02-03 | Update to Dafny 3.11.0 | Tej Chajed | |
2022-12-15 | Update to Dafny 3.10.0 | Tej Chajed | |
2022-11-02 | Update to Dafny 3.9.1 | Tej Chajed | |
2022-10-14 | Update to Dafny 3.9.0 | Tej Chajed | |
2022-09-01 | Update to Dafny 3.8.1 | Tej Chajed | |
2022-08-25 | Update to Dafny 3.8.0 | Tej Chajed | |
2022-08-15 | Update to Dafny 3.7.3 | Tej Chajed | |
2022-07-14 | Update to Dafny 3.7.2 | Tej Chajed | |
2022-06-29 | Update to Dafny 3.7.1 | Tej Chajed | |
2022-05-14 | Update to Dafny 3.6.0 | Tej Chajed | |
2022-03-14 | Update to Dafny 3.5.0 | Tej Chajed | |
2022-02-21 | Update to Dafny 3.4.2 | Tej Chajed | |
2022-02-15 | Update to Dafny 3.4.1 | Tej Chajed | |
2022-02-08 | Update to Dafny 3.4.0 | Tej Chajed | |
2021-11-04 | Update to Dafny 3.3.0 | Tej Chajed | |
2021-07-15 | Update to Dafny 3.2.0 | Tej Chajed | |
2021-04-22 | Update to 3.1.0 | Tej Chajed | |
2021-03-02 | Fix packaging: keep static libs | Tej Chajed | |
2021-03-02 | Update SRCINFO | Tej Chajed | |
2021-03-02 | Update to 3.0.0 | Tej Chajed | |
2020-02-10 | Updated to 2.3.0 | Felix Golatofski | |
2018-11-26 | Initial commit of PKGBUILD from github releases | malet | |