Michael Nebel 51623c3837 Java: Consider all summarized callable with generated verification as generated when counting generated vs manual.

2024-10-02 15:24:01 +02:00

..

Authors

Java: Autoformat.

2020-01-29 12:16:25 +01:00

Callables

Java: Rename Block -> BlockStmt

2020-09-08 08:40:20 +02:00

Dependencies

Java: Remove precision tag from metric queries.

2021-03-25 09:52:05 +01:00

Files

Update invalid link to devx.com

2022-08-15 14:40:12 -04:00

Internal

add all remaining explicit this

2021-11-26 13:50:10 +01:00

RefTypes

Fix all dead qhelp links

2021-04-23 15:20:21 +01:00

Summaries

Java: Consider all summarized callable with generated verification as generated when counting generated vs manual.

2024-10-02 15:24:01 +02:00