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.
Peter O'Hearn f7f30045cb
[infer][threadsafety] Dedup, chapter 2.
8 years ago
..
checkers [checkers] allow custom sources and sinks in annotation reachability 8 years ago
crashcontext [tests] run "diff" from infer/tests 8 years ago
eradicate [Eradicate] Change Eradicate's join to forget values not present on both paths 8 years ago
harness Customize tests output via InferPrint's command-line 8 years ago
infer [infer][tests] cleanup of the Cursor NPE test file 8 years ago
quandary [quandary] better taint propagation for Intent's 8 years ago
threadsafety [infer][threadsafety] Dedup, chapter 2. 8 years ago
tracing [infer][backend] find a better trade-off for the value of the SymOps timeout 8 years ago
.inferconfig [cli] warn about deprecated options, clean up infer repo 8 years ago