6 Commits

Author	SHA1	Message	Date
Michael Nebel	81de9d35af	C#/Java: Don't generate models if there exist a manual summary or neutral summary.	2024-01-12 13:35:22 +01:00
Michael Nebel	37abdc7a51	C#: Adjust the implementation to use the new predicates and Provenance.	2023-04-13 09:21:05 +02:00
Michael Nebel	d258a1c728	C#/Java: Some light re-factoring.	2023-03-23 10:24:46 +01:00
Michael Nebel	7422029e49	C#: Re-factor provenance related predicates for summarized callable.	2023-01-11 16:20:48 +01:00
Michael Nebel	11ca3f49f6	C#/Java: Adjust imports after moving files.	2023-01-11 13:13:33 +01:00
Michael Nebel	787b4743ee	C#/Java: Rename the directories containing the model generator and tests.	2023-01-11 13:13:33 +01:00