Version 2.5.7, November 4, 2018
New @EnsuresKeyFor and @EnsuresKeyForIf method annotations permit specifying the postcondition that a method gives some value a @KeyFor type.
The manual links to the Rx Thread & Effect Checker, which enforces UI Thread safety properties for stream-based Android applications.
Closed issues:
1014, 2151, 2178, 2180, 2183, 2188, 2190, 2195, 2196, 2198, 2199