Michael Nebel 55cfbccd43 C#/Java: Exclude summaries using callbacks in fields, properties and synthetic fields.

2024-11-06 16:29:19 +01:00

..

flowtestcasegenerator

Java: Deprecate RefType.nestedName(), and add RefType.getNestedName()

2024-09-16 17:16:25 +01:00

modelconverter

Java/Dataflow: Propagate MaD-id/model-id to PathGraph.

2024-04-12 09:19:51 +02:00

modeleditor

Java: Add overrides to the interpretation of neutral MaD models.

2024-09-30 13:11:49 +02:00

modelgenerator

C#/Java: Exclude summaries using callbacks in fields, properties and synthetic fields.

2024-11-06 16:29:19 +01:00

stub-generator

Further perf improvements

2023-05-29 09:58:52 +02:00