diff --git a/aadl/hamr/camkes/slang_libraries/EventControlMockThread_i_eventControlMock_eventControlMockThread/library/org/sireum/type-org_sireum_IS_7DA5C1.h b/aadl/hamr/camkes/slang_libraries/EventControlMockThread_i_eventControlMock_eventControlMockThread/library/org/sireum/type-org_sireum_IS_7DA5C1.h index 0edc1bb..1cef35d 100644 --- a/aadl/hamr/camkes/slang_libraries/EventControlMockThread_i_eventControlMock_eventControlMockThread/library/org/sireum/type-org_sireum_IS_7DA5C1.h +++ b/aadl/hamr/camkes/slang_libraries/EventControlMockThread_i_eventControlMock_eventControlMockThread/library/org/sireum/type-org_sireum_IS_7DA5C1.h @@ -10,7 +10,7 @@ extern "C" { // IS[Z, (B, B)] #include -#define MaxIS_7DA5C1 1 +#define MaxIS_7DA5C1 9 #define IS_7DA5C1SizeT int8_t typedef struct IS_7DA5C1 *IS_7DA5C1; diff --git a/aadl/hamr/camkes/slang_libraries/EventControlMockThread_i_eventControlMock_eventControlMockThread/sizes.txt b/aadl/hamr/camkes/slang_libraries/EventControlMockThread_i_eventControlMock_eventControlMockThread/sizes.txt index 8814472..ec564d7 100644 --- a/aadl/hamr/camkes/slang_libraries/EventControlMockThread_i_eventControlMock_eventControlMockThread/sizes.txt +++ b/aadl/hamr/camkes/slang_libraries/EventControlMockThread_i_eventControlMock_eventControlMockThread/sizes.txt @@ -1,4 +1,4 @@ -ISZ[(B, B)]=1; +ISZ[(B, B)]=9; ISZ[String]=1; ISZ[art.Art.PortId]=2; ISZ[art.UPort]=2; diff --git a/aadl/hamr/camkes/slang_libraries/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread/library/org/sireum/type-org_sireum_IS_0C7B5E.h b/aadl/hamr/camkes/slang_libraries/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread/library/org/sireum/type-org_sireum_IS_0C7B5E.h index 8267fbd..d61d794 100644 --- a/aadl/hamr/camkes/slang_libraries/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread/library/org/sireum/type-org_sireum_IS_0C7B5E.h +++ b/aadl/hamr/camkes/slang_libraries/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread/library/org/sireum/type-org_sireum_IS_0C7B5E.h @@ -10,7 +10,7 @@ extern "C" { // IS[Z, ((B, B, B, B, B, B, B, B, B, B, B, B), (B, B, B, B, B, B, B, B, B, B, B, B))] #include -#define MaxIS_0C7B5E 1 +#define MaxIS_0C7B5E 9 #define IS_0C7B5ESizeT int8_t typedef struct IS_0C7B5E *IS_0C7B5E; diff --git a/aadl/hamr/camkes/slang_libraries/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread/sizes.txt b/aadl/hamr/camkes/slang_libraries/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread/sizes.txt index 1679b51..d5a5c5e 100644 --- a/aadl/hamr/camkes/slang_libraries/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread/sizes.txt +++ b/aadl/hamr/camkes/slang_libraries/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread/sizes.txt @@ -1,4 +1,4 @@ -ISZ[((B, B, B, B, B, B, B, B, B, B, B, B), (B, B, B, B, B, B, B, B, B, B, B, B))]=1; +ISZ[((B, B, B, B, B, B, B, B, B, B, B, B), (B, B, B, B, B, B, B, B, B, B, B, B))]=9; ISZ[String]=1; ISZ[art.Art.PortId]=24; ISZ[art.UPort]=24; diff --git a/aadl/hamr/slang/bin/transpile-sel4-cust.cmd b/aadl/hamr/slang/bin/transpile-sel4-cust.cmd index 2c631fb..4bcfbb6 100755 --- a/aadl/hamr/slang/bin/transpile-sel4-cust.cmd +++ b/aadl/hamr/slang/bin/transpile-sel4-cust.cmd @@ -1,23 +1,25 @@ ::/*#! 2> /dev/null # @ 2>/dev/null # 2>nul & echo off & goto BOF # -if [ -z ${SIREUM_HOME} ]; then # +if [ -z "${SIREUM_HOME}" ]; then # echo "Please set SIREUM_HOME env var" # exit -1 # fi # -exec ${SIREUM_HOME}/bin/sireum slang run "$0" "$@" # +exec "${SIREUM_HOME}/bin/sireum" slang run "$0" "$@" # :BOF setlocal if not defined SIREUM_HOME ( echo Please set SIREUM_HOME env var exit /B -1 ) -%SIREUM_HOME%\\bin\\sireum.bat slang run "%0" %* +"%SIREUM_HOME%\bin\sireum.bat" slang run %0 %* exit /B %errorlevel% ::!#*/ // #Sireum import org.sireum._ +// Do not edit this file as it will be overwritten if HAMR codegen is rerun + val SCRIPT_HOME: Os.Path = Os.slashDir val PATH_SEP: String = Os.pathSep @@ -25,7 +27,7 @@ val InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread: I "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Instrumentation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread", "--name", "InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread", - "--apps", "RTS.InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread.instrumentationMockThread", + "--apps", "RTS.InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread.instrumentationMockThread_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -36,7 +38,7 @@ val InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread: I "--constants", s"art.Art.numComponents=1;art.Art.numPorts=24;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread.cmake", - "--forward", "art.ArtNative=RTS.InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread.instrumentationMockThread", + "--forward", "art.ArtNative=RTS.InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread.instrumentationMockThread_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread_adapter.c", @@ -46,7 +48,7 @@ val EventControlMockThread_i_eventControlMock_eventControlMockThread: ISZ[String "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/EventControl${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/EventControlMockThread_i_eventControlMock_eventControlMockThread", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/EventControlMockThread_i_eventControlMock_eventControlMockThread", "--name", "EventControlMockThread_i_eventControlMock_eventControlMockThread", - "--apps", "RTS.EventControlMockThread_i_eventControlMock_eventControlMockThread.eventControlMockThread", + "--apps", "RTS.EventControlMockThread_i_eventControlMock_eventControlMockThread.eventControlMockThread_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -57,7 +59,7 @@ val EventControlMockThread_i_eventControlMock_eventControlMockThread: ISZ[String "--constants", s"art.Art.numComponents=1;art.Art.numPorts=2;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_EventControlMockThread_i_eventControlMock_eventControlMockThread.cmake", - "--forward", "art.ArtNative=RTS.EventControlMockThread_i_eventControlMock_eventControlMockThread.eventControlMockThread", + "--forward", "art.ArtNative=RTS.EventControlMockThread_i_eventControlMock_eventControlMockThread.eventControlMockThread_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/EventControlMockThread_i_eventControlMock_eventControlMockThread/EventControlMockThread_i_eventControlMock_eventControlMockThread_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/EventControlMockThread_i_eventControlMock_eventControlMockThread/EventControlMockThread_i_eventControlMock_eventControlMockThread_adapter.c", @@ -67,7 +69,7 @@ val ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread: ISZ[String] = ISZ( "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuators${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread", "--name", "ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread", - "--apps", "RTS.ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread.actuatorsMockThread", + "--apps", "RTS.ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread.actuatorsMockThread_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -75,7 +77,7 @@ val ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread: ISZ[String] = ISZ( "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=2;IS[Z,art.Art.PortId]=2", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=2;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread.cmake", - "--forward", "art.ArtNative=RTS.ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread.actuatorsMockThread", + "--forward", "art.ArtNative=RTS.ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread.actuatorsMockThread_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread/ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread/ActuatorsMockThread_i_actuatorsMock_actuatorsMockThread_adapter.c", @@ -85,7 +87,7 @@ val CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coinci "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coincidenceLogic", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coincidenceLogic", "--name", "CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coincidenceLogic", - "--apps", "RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coincidenceLogic.coincidenceLogic", + "--apps", "RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coincidenceLogic.coincidenceLogic_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -93,7 +95,7 @@ val CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coinci "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=4;IS[Z,art.Art.PortId]=4", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=5;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coincidenceLogic.cmake", - "--forward", "art.ArtNative=RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coincidenceLogic.coincidenceLogic", + "--forward", "art.ArtNative=RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coincidenceLogic.coincidenceLogic_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coincidenceLogic/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coincidenceLogic_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coincidenceLogic/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_temperatureLogic_coincidenceLogic_adapter.c", @@ -103,7 +105,7 @@ val CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coinciden "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coincidenceLogic", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coincidenceLogic", "--name", "CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coincidenceLogic", - "--apps", "RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coincidenceLogic.coincidenceLogic", + "--apps", "RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coincidenceLogic.coincidenceLogic_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -111,7 +113,7 @@ val CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coinciden "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=4;IS[Z,art.Art.PortId]=4", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=5;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coincidenceLogic.cmake", - "--forward", "art.ArtNative=RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coincidenceLogic.coincidenceLogic", + "--forward", "art.ArtNative=RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coincidenceLogic.coincidenceLogic_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coincidenceLogic/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coincidenceLogic_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coincidenceLogic/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_pressureLogic_coincidenceLogic_adapter.c", @@ -121,7 +123,7 @@ val CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincid "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincidenceLogic", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincidenceLogic", "--name", "CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincidenceLogic", - "--apps", "RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincidenceLogic.coincidenceLogic", + "--apps", "RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincidenceLogic.coincidenceLogic_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -129,7 +131,7 @@ val CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincid "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=4;IS[Z,art.Art.PortId]=4", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=5;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincidenceLogic.cmake", - "--forward", "art.ArtNative=RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincidenceLogic.coincidenceLogic", + "--forward", "art.ArtNative=RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincidenceLogic.coincidenceLogic_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincidenceLogic/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincidenceLogic_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincidenceLogic/CoincidenceLogic_i_actuationSubsystem_actuationUnit1_saturationLogic_coincidenceLogic_adapter.c", @@ -139,7 +141,7 @@ val OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic: ISZ "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic", "--name", "OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic", - "--apps", "RTS.OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic.orLogic", + "--apps", "RTS.OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic.orLogic_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -147,7 +149,7 @@ val OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic: ISZ "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=2;IS[Z,art.Art.PortId]=2", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=3;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic.cmake", - "--forward", "art.ArtNative=RTS.OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic.orLogic", + "--forward", "art.ArtNative=RTS.OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic.orLogic_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic/OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic/OrLogic_i_actuationSubsystem_actuationUnit1_tempPressureTripOut_orLogic_adapter.c", @@ -157,7 +159,7 @@ val CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coinci "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coincidenceLogic", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coincidenceLogic", "--name", "CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coincidenceLogic", - "--apps", "RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coincidenceLogic.coincidenceLogic", + "--apps", "RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coincidenceLogic.coincidenceLogic_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -165,7 +167,7 @@ val CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coinci "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=4;IS[Z,art.Art.PortId]=4", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=5;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coincidenceLogic.cmake", - "--forward", "art.ArtNative=RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coincidenceLogic.coincidenceLogic", + "--forward", "art.ArtNative=RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coincidenceLogic.coincidenceLogic_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coincidenceLogic/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coincidenceLogic_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coincidenceLogic/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_temperatureLogic_coincidenceLogic_adapter.c", @@ -175,7 +177,7 @@ val CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coinciden "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coincidenceLogic", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coincidenceLogic", "--name", "CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coincidenceLogic", - "--apps", "RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coincidenceLogic.coincidenceLogic", + "--apps", "RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coincidenceLogic.coincidenceLogic_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -183,7 +185,7 @@ val CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coinciden "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=4;IS[Z,art.Art.PortId]=4", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=5;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coincidenceLogic.cmake", - "--forward", "art.ArtNative=RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coincidenceLogic.coincidenceLogic", + "--forward", "art.ArtNative=RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coincidenceLogic.coincidenceLogic_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coincidenceLogic/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coincidenceLogic_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coincidenceLogic/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_pressureLogic_coincidenceLogic_adapter.c", @@ -193,7 +195,7 @@ val CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincid "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincidenceLogic", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincidenceLogic", "--name", "CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincidenceLogic", - "--apps", "RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincidenceLogic.coincidenceLogic", + "--apps", "RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincidenceLogic.coincidenceLogic_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -201,7 +203,7 @@ val CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincid "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=4;IS[Z,art.Art.PortId]=4", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=5;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincidenceLogic.cmake", - "--forward", "art.ArtNative=RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincidenceLogic.coincidenceLogic", + "--forward", "art.ArtNative=RTS.CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincidenceLogic.coincidenceLogic_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincidenceLogic/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincidenceLogic_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincidenceLogic/CoincidenceLogic_i_actuationSubsystem_actuationUnit2_saturationLogic_coincidenceLogic_adapter.c", @@ -211,7 +213,7 @@ val OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic: ISZ "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic", "--name", "OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic", - "--apps", "RTS.OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic.orLogic", + "--apps", "RTS.OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic.orLogic_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -219,7 +221,7 @@ val OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic: ISZ "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=2;IS[Z,art.Art.PortId]=2", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=3;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic.cmake", - "--forward", "art.ArtNative=RTS.OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic.orLogic", + "--forward", "art.ArtNative=RTS.OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic.orLogic_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic/OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic/OrLogic_i_actuationSubsystem_actuationUnit2_tempPressureTripOut_orLogic_adapter.c", @@ -229,7 +231,7 @@ val OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureAct "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureActuator_orLogic", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureActuator_orLogic", "--name", "OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureActuator_orLogic", - "--apps", "RTS.OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureActuator_orLogic.orLogic", + "--apps", "RTS.OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureActuator_orLogic.orLogic_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -237,7 +239,7 @@ val OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureAct "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=2;IS[Z,art.Art.PortId]=2", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=3;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureActuator_orLogic.cmake", - "--forward", "art.ArtNative=RTS.OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureActuator_orLogic.orLogic", + "--forward", "art.ArtNative=RTS.OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureActuator_orLogic.orLogic_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureActuator_orLogic/OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureActuator_orLogic_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureActuator_orLogic/OrLogic_i_actuationSubsystem_tempPressureActuatorUnit_actuateTempPressureActuator_orLogic_adapter.c", @@ -247,7 +249,7 @@ val Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_ "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_actuator", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_actuator", "--name", "Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_actuator", - "--apps", "RTS.Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_actuator.actuator", + "--apps", "RTS.Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_actuator.actuator_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -255,7 +257,7 @@ val Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_ "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=2;IS[Z,art.Art.PortId]=2", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=3;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_actuator.cmake", - "--forward", "art.ArtNative=RTS.Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_actuator.actuator", + "--forward", "art.ArtNative=RTS.Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_actuator.actuator_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_actuator/Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_actuator_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_actuator/Actuator_i_actuationSubsystem_tempPressureActuatorUnit_tempPressureActuator_actuator_adapter.c", @@ -265,7 +267,7 @@ val OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuato "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuator_orLogic", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuator_orLogic", "--name", "OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuator_orLogic", - "--apps", "RTS.OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuator_orLogic.orLogic", + "--apps", "RTS.OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuator_orLogic.orLogic_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -273,7 +275,7 @@ val OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuato "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=2;IS[Z,art.Art.PortId]=2", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=3;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuator_orLogic.cmake", - "--forward", "art.ArtNative=RTS.OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuator_orLogic.orLogic", + "--forward", "art.ArtNative=RTS.OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuator_orLogic.orLogic_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuator_orLogic/OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuator_orLogic_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuator_orLogic/OrLogic_i_actuationSubsystem_saturationActuatorUnit_actuateSaturationActuator_orLogic_adapter.c", @@ -283,7 +285,7 @@ val Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actu "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuation${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actuator", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actuator", "--name", "Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actuator", - "--apps", "RTS.Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actuator.actuator", + "--apps", "RTS.Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actuator.actuator_seL4App", "--fingerprint", "3", "--bits", "32", "--string-size", "256", @@ -291,14 +293,14 @@ val Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actu "--sequence", s"MS[Z,Option[art.Bridge]]=1;IS[Z,art.UPort]=2;IS[Z,art.Art.PortId]=2", "--constants", s"art.Art.numComponents=1;art.Art.numPorts=3;art.Art.numConnections=1", "--cmake-includes", s"+${SCRIPT_HOME}/settings_Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actuator.cmake", - "--forward", "art.ArtNative=RTS.Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actuator.actuator", + "--forward", "art.ArtNative=RTS.Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actuator.actuator_seL4App", "--stack-size", "16777216", "--stable-type-id", "--exts", s"${SCRIPT_HOME}/../../c/ext-c/ext.c${PATH_SEP}${SCRIPT_HOME}/../../c/ext-c/ext.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actuator/Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actuator_adapter.h${PATH_SEP}${SCRIPT_HOME}/../../c/etc_seL4/adapters/Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actuator/Actuator_i_actuationSubsystem_saturationActuatorUnit_saturationActuator_actuator_adapter.c", "--lib-only") val SlangTypeLibrary: ISZ[String] = ISZ( - "--sourcepath", s"${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/SlangTypeLibrary", + "--sourcepath", s"${SCRIPT_HOME}/../src/main/bridge${PATH_SEP}${SCRIPT_HOME}/../src/main/component${PATH_SEP}${SCRIPT_HOME}/../src/main/art${PATH_SEP}${SCRIPT_HOME}/../src/main/data${PATH_SEP}${SCRIPT_HOME}/../src/main/seL4Nix/RTS/SlangTypeLibrary", "--output-dir", s"${SCRIPT_HOME}/../../camkes/slang_libraries/SlangTypeLibrary", "--name", "SlangTypeLibrary", "--apps", "RTS.SlangTypeLibrary.SlangTypeLibrary",