Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update to version 2.4.0 of Checker Framework dataflow and javacutil | 2018-04-04 | |
| | | | | Change-Id: I29e007625d0a25279d8b2967f89b1014b4825bd6 | ||
* | Update checker framework dataflow and javacutils to 2.1.14 | 2017-10-16 | |
| | | | | Change-Id: I62ad827fc4bbd54d022097003af63e351e44b98c | ||
* | Downgrade checker framework to 1.8.10 | 2017-01-20 | |
| | | | | | | Fixes #2254. Change-Id: Ia411fa321fdac9d6acdaac60a8463b92ee1ae407 | ||
* | Adds the source of the checker framework | 2016-06-30 | |
This needs to predate the rest of the changes to the checker framework to keep the build green. Also add the source of javacutil part of the checker framework, that will be included in the next change. Change-Id: Ie18d0e8e21035ce5141416e552a83d893f71b88b |