16 Commits

Author	SHA1	Message	Date
github-actions[bot]	d676da0811	dafny: Update to version 4.1.0	2023-05-11 00:35:17 +00:00
StarsbySea	7ba997f2f9	dafny: Update to version 4.0.0 (#4532)	2023-03-11 17:54:49 +05:30
github-actions[bot]	f35db316cf	dafny: Update to version 3.12.0	2023-02-21 20:27:20 +00:00
github-actions[bot]	1cdac5e456	dafny: Update to version 3.11.0	2023-02-01 20:27:51 +00:00
github-actions[bot]	2ed0d2f578	dafny: Update to version 3.10.0	2022-12-16 00:34:10 +00:00
github-actions[bot]	e9a5370159	dafny: Update to version 3.9.1	2022-10-28 04:35:17 +00:00
github-actions[bot]	c38ca5093b	dafny: Update to version 3.9.0	2022-10-03 20:30:37 +00:00
github-actions[bot]	11d9e04ac0	dafny: Update to version 3.8.1	2022-09-01 16:31:16 +00:00
github-actions[bot]	d74ba32994	dafny: Update to version 3.8.0	2022-08-24 00:34:05 +00:00
github-actions[bot]	268c904977	dafny: Update to version 3.7.3	2022-07-20 00:36:58 +00:00
github-actions[bot]	f453a5af23	dafny: Update to version 3.7.2	2022-07-14 00:34:21 +00:00
github-actions[bot]	9088b2f55e	dafny: Update to version 3.7.1	2022-06-22 00:35:52 +00:00
github-actions[bot]	0998e558d7	dafny: Update to version 3.7.0	2022-06-21 04:31:53 +00:00
github-actions[bot]	c0f9c82eb0	dafny: Update to version 3.6.0	2022-05-12 00:33:29 +00:00
tech189	584ddae139	dafny: Update to version 3.5.0 (#3400)	2022-03-18 09:32:46 +05:30
Li Yefeng	78a46e5e0f	Add dafny and win32yank (#2447) ... * Add dafny * Add win32yank * Reorder fields * Reorder fields * Update bucket/win32yank.json Co-authored-by: Rashil Gandhi <46838874+rashil2000@users.noreply.github.com> * Update bucket/win32yank.json Co-authored-by: Rashil Gandhi <46838874+rashil2000@users.noreply.github.com> * Update bucket/dafny.json Co-authored-by: Rashil Gandhi <46838874+rashil2000@users.noreply.github.com> * Remove extract_dir from autoupdate Co-authored-by: Rashil Gandhi <46838874+rashil2000@users.noreply.github.com> Co-authored-by: Rashil Gandhi <46838874+rashil2000@users.noreply.github.com>	2021-10-25 19:46:22 +05:30