Artem Smotrakov 651e43dee6 Clarify what verifier is

2022-02-12 12:24:48 +00:00

..

config/suites/lgtm

Java: enable java/alert-suppression-annotations in LGTM suite

2019-10-17 22:09:04 -04:00

documentation/library-coverage

Add changed framework coverage reports

2022-01-14 00:10:33 +00:00

old-change-notes

Apply suggestions from code review

2022-01-10 17:10:55 +01:00

ql

Clarify what verifier is

2022-02-12 12:24:48 +00:00