| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-01-29 | Fix exact-match witness synthesis for static functions (#6204) | Darren Wihandi | |
| * fix non-static methods when trying to synthesize method requirement witness * add tests * update test * improve test --------- Co-authored-by: Yong He <yonghe@outlook.com> | |||
