Pull requests: uber-go/nilaway
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Implement fact export for manually-written and inferred function contracts
#240
opened May 4, 2024 by
yuxincs
Loading…
Support general nonnil->nonnil function contract, i.e., having a single nonnil but any numbers of any, e.g. contract(_,nonnil->nonnil,_)
#41
opened Aug 18, 2023 by
zzqatuber
Loading…
ProTip!
Follow long discussions with comments:>50.