Fixed false positive category due to state loop state in the widen state

Eliminated 70 false positives out of a sample of 140 on large projects

Fixed false positive category due to state loop state in the widen state

Eliminated 70 false positives out of a sample of 140 on large projects

CAV Artifact 2025

CAV 2025 Artifact

Disabled logging for new tagged release (OOPSLA 2024 final)

[github] key the clang cache on the runner arch

Summary: This is to distinguish arm vs intel macs.

Differential Revision: D58826655

fbshipit-source-id: 9fcbc8db8cc0da4396aa59bf4ec62e4ad669766c

Created tag for oopsla for code as of 4/5/24 (oopsla deadline)

[Topl] add doc and change TOPL -> Topl

Summary:
Copied the documentation from a document created by rgrig
(thanks!!).

Reviewed By: rgrig

Differential Revision: D27325829

fbshipit-source-id: 118e1a2be

[website] misc. minor improvements

Summary:
- rename the checker "Uninitialized Variable" to "Uninitialized Value"
  as this is the name of the issue type
- delete timestamp XML comment from the man pages to avoid future git
  churn when updating the website
- counting is hard

Reviewed By: martintrojer

Differential Revision: D24219165

fbshipit-source-id: cf3057373

[maven-release-plugin] copy for tag infer-annotation-0.18.0