dafny version history (formula)
dafny
formula 40 versions
since Sep 2019
~44 days between updates
Track dafny — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 4.11.0 | 2025-08-26 | 1700569cd |
| 4.10.0 | 2025-02-04 | d49bd1a52 |
| 4.9.0 | 2024-10-30 | 5e193eaa4 |
| 4.8.1 | 2024-09-16 | 49cf00c9f |
| 4.8.0 | 2024-08-28 | 53bb114c0 |
| 4.7.0 | 2024-06-26 | c224cea4e |
| 4.6.0 | 2024-03-28 | 9d59a56c7 |
| 4.5.0 | 2024-03-16 | ccf7c3d94 |
| 4.4.0 | 2023-12-12 | 492862e7e |
| 4.3.0 | 2023-09-29 | ed2f3d476 |
| 4.2.0 | 2023-07-20 | 770bf5081 |
| 4.1.0 | 2023-05-10 | 7b3c422ba |
| 4.0.0 | 2023-03-03 | 185de7fc9 |
| 3.13.1 | 2023-03-02 | 30be9a55f |
| 3.13.0 | 2023-03-02 | 39157a2a4 |
| 3.12.0 | 2023-02-22 | d04e32337 |
| 3.11.0 | 2023-02-01 | 4b705e089 |
| 3.10.0 | 2022-12-15 | 5976bfd75 |
| 3.9.1 | 2022-12-07 | 036a19738 |
| 3.9.1 | 2022-10-27 | 093f2f420 |
| 3.9.0 | 2022-10-04 | 5f57357fd |
| 3.8.1 | 2022-09-02 | 70cbdd53b |
| 3.8.0 | 2022-08-23 | d32135082 |
| 3.7.3 | 2022-07-19 | 91b4fe549 |
| 3.7.2 | 2022-07-14 | d9493ea8b |
| 3.7.1 | 2022-06-22 | 42453be89 |
| 3.7.0 | 2022-06-21 | 38a24142b |
| 3.6.0 | 2022-05-12 | 922d67240 |
| 3.5.0 | 2022-03-15 | 5a9f7d0b4 |
| 3.4.2 | 2022-02-21 | 93c11e193 |
| 3.4.1 | 2022-02-15 | 0752704c0 |
| 3.3.0 | 2021-11-05 | 789744d1a |
| 3.2.0 | 2021-07-14 | 89a94868b |
| 3.1.0 | 2021-05-31 | e4e1506b6 |
| 3.1.0 | 2021-04-21 | 902ec14bf |
| 3.0.0 | 2021-02-04 | 0519e91d4 |
| 2.3.0 | 2020-12-05 | f95fb0635 |
| 2.3.0 | 2020-04-18 | fdb28a236 |
| 2.3.0 | 2019-11-21 | c6525038f |
| 2.3.0 | 2019-09-24 | e6576686e |