6 Commits

Author	SHA1	Message	Date
Tom Hvitved	29cdc8a49a	Java: Update expected test output after rebase	2021-10-20 12:11:59 +02:00
Tom Hvitved	296e268339	Apply suggestions from code review ... Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>	2021-10-12 14:28:32 +02:00
Tom Hvitved	d5955f1ae1	Java: Add test for missing summary flow	2021-10-11 11:29:08 +02:00
Anders Schack-Mulligen	9a9bbe3123	Dataflow: Support side-effects for callbacks in summaries.	2021-09-28 11:42:38 +02:00
Anders Schack-Mulligen	4841c3037d	Java: Add callback dispatch to more anonymous classes.	2021-09-23 14:34:56 +02:00
Anders Schack-Mulligen	89a6cdc711	Java: Add support for callback-based library models.	2021-09-13 14:49:28 +02:00