• hana's avatar
    update: · 15aede27
    hana authored
    port connections generation: generic construction are included to be copied while transformation.
    processor and main: multiple event port connections are considered with non-periodic threads.
    
    new:
    main generation: connection identifiers are now considered in gate naming rule.
    15aede27
Name
Last commit
Last update
..
AADLv1 Loading commit data...
AADLv2 Loading commit data...
behavioural_properties Loading commit data...
runtime Loading commit data...
textmate Loading commit data...
Makefile.am Loading commit data...
assert_properties_extended.aadl Loading commit data...
data_model.aadl Loading commit data...
deployment.aadl Loading commit data...
ocarina_config.aadl Loading commit data...