Pull requests: uber-go/nilaway
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Refine the handling of pointers in
TypeAsDeepType
#251
opened May 24, 2024 by
sonalmahajan15
Loading…
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!
What’s not been updated in a month: updated:<2024-04-26.