Michael Nebel 596c2c0345 C#/Java: Rename the modelgenerator and converter predicate names.

2022-12-14 13:43:34 +01:00

..

convert_extensions.py

C#/Java: Rename Negative Summary Model to Neutral Model in conversion and generator tooling.

2022-12-09 15:04:43 +01:00

generate_flow_model.py

C#/Java: Cleanup up printing of generated models.

2022-12-09 15:04:43 +01:00

helpers.py

C#/Java: Rename the modelgenerator and converter predicate names.

2022-12-14 13:43:34 +01:00