Skip to content

rename the vp(validity predicate) as resource logic#264

Merged
XuyangSong merged 2 commits intomainfrom xuyang/resource_logicAug 21, 2024