ponder-lab/ML: 0.52.103
What's Changed Record three generator invariants established by wala/ML#907, #916 and #928 by @khatchad in https://github.com/ponder-lab/ML/pull/859 Give the allocation-site extractor a declining variant and move the callers that already expect a null onto it (wala/ML#925) by @khatchad in https://github.com/ponder-lab/...
Raffi Khatchadourian, Julian Dolby, shinnar et al.
· Zenodo (CERN European Organi... · 0 citations