You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
jrm e734c1873d
Fix cases of resource leaks not detected when the resource indirectly implements Closeable
9 years ago
..
checkers Add support for @NoAllocation in the performance critical checker 9 years ago
comparison Initial support for lazy dynamic dispatch 9 years ago
eradicate Add SuppressViewNullability annotation 9 years ago
harness Fix indentation of multiline copyright comment 9 years ago
infer Fix cases of resource leaks not detected when the resource indirectly implements Closeable 9 years ago
tracing Initial support for lazy dynamic dispatch 9 years ago