GitLab

FPAR variables in procedures defined in an inner scope (nested states)
were not properly addressed

when flattening model, the access to fields was not properly prefixed
for variables declared in substates

the Ada backend now exports C symbols with _PI_ to be compatible with TASTE

to avoid forbidden symbol connections

Only call if md5 of any of the asn1 files has changed

e.g. if a branch only contains informal or ANY decisions,
generate "null;" to avoid an empty code block in Ada

Only propose check if user modified something since last check

in arithmetic operations

V2 is depending on ASN1SCC V4

used for regression testing of signed/unsigned cases with asn1sccv4

contains debug printf