Pull requests: uber-go/nilaway
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix for nested non-builtin call expression in map access
#245
opened May 15, 2024 by
sonalmahajan15
Loading…
Fix convergence problem due to unbounded growing of assertion tree
#244
opened May 15, 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!
Adding no:label will show everything without a label.