| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fix exact-match witness synthesis for static functions (#6204) | Darren Wihandi | 2025-01-29 |
| * 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> | |||
 |
index : slang.git | |
| Making it easier to work with shaders |
| summaryrefslogtreecommitdiffstats |