add flags for optimizations

action.yml

@@ -90,6 +90,14 @@ inputs:
     description: 'Disable non-linear integer arithmetic. Non compatible yet with Carbon'
     required: false
     default: '0'
+  moreJoins:
+    description: 'Use a more complete state merging algorithm.'
+    required: false
+    default: '0'
+  unsafeWildcardOptimization:
+    description: "Perform the optimization described in silicon's PR #756. You must ensure that the necessary conditions for the optimization are met."
+    required: false
+    default: '0'
   useZ3API:
     description: 'Use the Z3 API in silicon.'
     required: false

docker-action/entrypoint.sh

@@ -121,11 +121,18 @@ if [[ $INPUT_DISABLENL -eq 1 ]]; then
 	GOBRA_ARGS="$GOBRA_ARGS --disableNL"
 fi
 
+if [[ $INPUT_UNSAFEWILDCARDOPTIMIZATION -eq 1 ]]; then
+	GOBRA_ARGS="$GOBRA_ARGS --unsafeWildcardOptimization"
+fi
 
 if [[ $INPUT_CONDITIONALIZEPERMISSIONS -eq 1 ]]; then
 	GOBRA_ARGS="$GOBRA_ARGS --conditionalizePermissions"
 fi
 
+if [[ $INPUT_MOREJOINS -eq 1 ]]; then
+	GOBRA_ARGS="$GOBRA_ARGS --moreJoins"
+fi
+
 if [[ $INPUT_OVERFLOW -eq 1 ]]; then
 	GOBRA_ARGS="$GOBRA_ARGS --overflow"
 fi

entrypoint.sh

@@ -11,6 +11,7 @@ docker run -e INPUT_CACHING -e INPUT_PROJECTLOCATION -e INPUT_INCLUDEPATHS -e IN
  -e INPUT_OVERFLOW  -e INPUT_VIPERBACKEND -e INPUT_JAVAXSS -e INPUT_JAVAXMX -e INPUT_TIMEOUT -e INPUT_HEADERONLY -e INPUT_STATSFILE \
   -e INPUT_MODULE -e INPUT_RECURSIVE -e INPUT_ASSUMEINJECTIVITYONINHALE -e INPUT_CHECKCONSISTENCY -e INPUT_MCEMODE \
   -e INPUT_REQUIRETRIGGERS \
+  -e INPUT_UNSAFEWILDCARDOPTIMIZATION -e INPUT_MOREJOINS \
   -e INPUT_USEZ3API -e INPUT_DISABLENL \
   -e INPUT_PARALLELIZEBRANCHES -e INPUT_CONDITIONALIZEPERMISSIONS -e GITHUB_WORKSPACE -e GITHUB_REPOSITORY \
   -e STATS_TARGET -e DEBUG_MODE -v "$RUNNER_WORKSPACE:$GITHUB_WORKSPACE" -v "$INPUT_STATSFILE:$STATS_TARGET" \