5 Commits

Author	SHA1	Message	Date
whonore	9e1d149f05	dafny: 4.3.0 -> 4.4.0	2023-12-15 15:48:44 -05:00
whonore	4b36cd01b3	dafny: 4.2.0 -> 4.3.0	2023-10-06 15:48:28 -04:00
whonore	eb15838bdb	dafny: 4.0.0 -> 4.2.0	2023-07-28 17:11:46 -04:00
whonore	c0c08de5b4	dafny: remove unused deps	2023-04-29 19:13:11 -04:00
whonore	d4f814d956	dafny: move to separate file	2023-04-29 19:11:12 -04:00