Matthew Jin 57a1bbd25e Update Translation of Async for Resource Leak/Taint (#214) ... * partial progress * progress * progress * progress * fix * add another example * further progress * formatting fix * fixes * undo removal of comment * example null deref * comment edit * progress * progress * fix * add ldlen test * add unit test for this * minor edits * fix test * edit test * fix * bug fix * updated expected counts * progress * translation and tests * bug fix * add constrained * progress * write warning instead * bug fix * fix bug * undo debug stuff * typo * fix * remove stash markers * testclass introduction of bug fix * doc fix * undo regular control flow from throw through finally * remove unecessary method * fix to inferconfig * update * progress * add ldvirtftn * fix bugs * fix' * progress * progress * example * bug fix * fixes * set IsCompleted always to treu * Revert "set IsCompleted always to treu" This reverts commit 694e6cf236. * merge conflcit issues * remove skiptranslation --------- Co-authored-by: Xiaoyu Liu <lixiaoyu@microsoft.com> Co-authored-by: copilot-defender <132240783+copilot-defender@users.noreply.github.com>		2023-05-30 18:02:33 +00:00
..
Program.cs	Update Translation of Async for Resource Leak/Taint (#214)	2023-05-30 18:02:33 +00:00
proj.csproj	Update SqlClient (#200)	2022-11-29 13:06:14 -08:00