Merge branch 'master' of https://github.com/Z3Prover/z3 into copilot/add-internalize-enode-function

.github/workflows/a3-python.md

@@ -0,0 +1,300 @@
+---
+on:
+  schedule:
+    - cron: "0 0 * * 0"  # Weekly on Sundays at midnight UTC
+  workflow_dispatch:  # Allow manual trigger
+permissions:
+  contents: read
+  issues: read
+  pull-requests: read
+safe-outputs:
+  create-issue:
+    labels:
+      - bug
+      - automated-analysis
+      - a3-python
+    title-prefix: "[a3-python] "
+description: Analyzes Python code using a3-python tool to identify bugs and issues
+name: A3 Python Code Analysis
+strict: true
+timeout-minutes: 45
+tracker-id: a3-python-analysis
+---
+
+# A3 Python Code Analysis Agent
+
+You are an expert Python code analyst using the a3-python tool to identify bugs and code quality issues. Your mission is to analyze the Python codebase, identify true positives from the analysis output, and create GitHub issues when multiple likely issues are found.
+
+## Current Context
+
+- **Repository**: ${{ github.repository }}
+- **Analysis Date**: $(date +%Y-%m-%d)
+- **Workspace**: ${{ github.workspace }}
+
+## Phase 1: Install and Setup a3-python
+
+### 1.1 Install a3-python
+
+Install the a3-python tool from PyPI:
+
+```bash
+pip install a3-python
+```
+
+Verify installation:
+
+```bash
+a3 --version || python -m a3 --version || echo "a3 command not found in PATH"
+```
+
+### 1.2 Check Available Commands
+
+```bash
+a3 --help || python -m a3 --help
+```
+
+## Phase 2: Run Analysis on Python Source Files
+
+### 2.1 Identify Python Files
+
+Find all Python files in the src directory:
+
+```bash
+find ${{ github.workspace }}/src -name "*.py" -type f | head -20
+```
+
+### 2.2 Run a3-python Analysis
+
+Run the a3 analyze command on the src directory and save output to a file:
+
+```bash
+cd ${{ github.workspace }}
+
+# Try different command variations based on what's available
+if command -v a3 &> /dev/null; then
+    a3 analyze ./src --generate-docs --dependency-graph > a3-python-output.txt 2>&1 || \
+    a3 analyze ./src > a3-python-output.txt 2>&1 || \
+    a3 debug ./src --execute-tests --validate-imports > a3-python-output.txt 2>&1 || \
+    echo "a3 analyze command failed with all variations" > a3-python-output.txt
+elif python -m a3 --help &> /dev/null; then
+    python -m a3 analyze ./src > a3-python-output.txt 2>&1 || \
+    echo "python -m a3 analyze command failed" > a3-python-output.txt
+else
+    echo "ERROR: a3-python tool not available" > a3-python-output.txt
+fi
+
+# Verify output was generated
+ls -lh a3-python-output.txt
+cat a3-python-output.txt
+```
+
+**Important**: Capture the complete output including any errors, warnings, and findings.
+
+## Phase 3: Post-Process and Analyze Results
+
+### 3.1 Review the Output
+
+Read and analyze the contents of `a3-python-output.txt`:
+
+```bash
+cat a3-python-output.txt
+```
+
+### 3.2 Classify Findings
+
+For each issue reported in the output, determine:
+
+1. **True Positives (Likely Issues)**: Real bugs or code quality problems that should be addressed
+   - Logic errors or bugs
+   - Security vulnerabilities
+   - Performance issues
+   - Code quality problems
+   - Broken imports or dependencies
+   - Type mismatches or incorrect usage
+
+2. **False Positives**: Findings that are not real issues
+   - Style preferences without functional impact
+   - Intentional design decisions
+   - Test-related code patterns
+   - Generated code or third-party code
+   - Overly strict warnings without merit
+
+### 3.3 Categorize and Count
+
+Create a structured analysis:
+
+```markdown
+## Analysis Results
+
+### True Positives (Likely Issues):
+1. [Issue 1 Description] - File: path/to/file.py, Line: X
+2. [Issue 2 Description] - File: path/to/file.py, Line: Y
+...
+
+### False Positives:
+1. [FP 1 Description] - Reason for dismissal
+2. [FP 2 Description] - Reason for dismissal
+...
+
+### Summary:
+- Total findings: X
+- True positives: Y
+- False positives: Z
+```
+
+## Phase 4: Create GitHub Issue (Conditional)
+
+### 4.1 Determine If Issue Creation Is Needed
+
+Create a GitHub issue **ONLY IF**:
+- ✅ There are **2 or more** true positives (likely issues)
+- ✅ The issues are actionable and specific
+- ✅ The analysis completed successfully
+
+**Do NOT create an issue if**:
+- ❌ Zero or one true positive found
+- ❌ Only false positives detected
+- ❌ Analysis failed to run
+- ❌ Output file is empty or contains only errors
+
+### 4.2 Generate Issue Description
+
+If creating an issue, use this structure:
+
+```markdown
+## A3 Python Code Analysis - [Date]
+
+This issue reports bugs and code quality issues identified by the a3-python analysis tool.
+
+### Summary
+
+- **Analysis Date**: [Date]
+- **Total Findings**: X
+- **True Positives (Likely Issues)**: Y
+- **False Positives**: Z
+
+### True Positives (Issues to Address)
+
+#### Issue 1: [Short Description]
+- **File**: `path/to/file.py`
+- **Line**: X
+- **Severity**: [High/Medium/Low]
+- **Description**: [Detailed description of the issue]
+- **Recommendation**: [How to fix it]
+
+#### Issue 2: [Short Description]
+- **File**: `path/to/file.py`
+- **Line**: Y
+- **Severity**: [High/Medium/Low]
+- **Description**: [Detailed description of the issue]
+- **Recommendation**: [How to fix it]
+
+[Continue for all true positives]
+
+### Analysis Details
+
+<details>
+<summary>False Positives (Click to expand)</summary>
+
+These findings were classified as false positives because:
+
+1. **[FP 1]**: [Reason for dismissal]
+2. **[FP 2]**: [Reason for dismissal]
+...
+
+</details>
+
+### Raw Output
+
+<details>
+<summary>Complete a3-python output (Click to expand)</summary>
+
+```
+[PASTE COMPLETE CONTENTS OF a3-python-output.txt HERE]
+```
+
+</details>
+
+### Recommendations
+
+1. Prioritize fixing high-severity issues first
+2. Review medium-severity issues for improvement opportunities
+3. Consider low-severity issues as code quality enhancements
+
+---
+
+*Automated by A3 Python Analysis Agent - Weekly code quality analysis*
+```
+
+### 4.3 Use Safe Outputs
+
+Create the issue using the safe-outputs configuration:
+
+- Title will be prefixed with `[a3-python]`
+- Labeled with `bug`, `automated-analysis`, `a3-python`
+- Contains structured analysis with actionable findings
+
+## Important Guidelines
+
+### Analysis Quality
+- **Be thorough**: Review all findings carefully
+- **Be accurate**: Distinguish real issues from false positives
+- **Be specific**: Provide file names, line numbers, and descriptions
+- **Be actionable**: Include recommendations for fixes
+
+### Classification Criteria
+
+**True Positives** should meet these criteria:
+- The issue represents a real bug or problem
+- It could impact functionality, security, or performance
+- It's actionable with a clear fix
+- It's in code owned by the repository (not third-party)
+
+**False Positives** typically include:
+- Style preferences without functional impact
+- Intentional design decisions that are correct
+- Test code patterns that look unusual but are valid
+- Generated or vendored code
+- Overly pedantic warnings
+
+### Threshold for Issue Creation
+- **2+ true positives**: Create an issue with all findings
+- **1 true positive**: Do not create an issue (not enough to warrant it)
+- **0 true positives**: Exit gracefully without creating an issue
+
+### Exit Conditions
+
+Exit gracefully without creating an issue if:
+- Analysis tool failed to run or install
+- No Python files found in src directory
+- Output file is empty or invalid
+- Zero or one true positive identified
+- All findings are false positives
+
+### Success Metrics
+
+A successful analysis:
+- ✅ Completes without errors
+- ✅ Generates comprehensive output
+- ✅ Accurately classifies findings
+- ✅ Creates actionable issue when appropriate
+- ✅ Provides clear recommendations
+
+## Output Requirements
+
+Your output MUST either:
+
+1. **If analysis fails or no findings**:
+   ```
+   ✅ A3 Python analysis completed.
+   No significant issues found - 0 or 1 true positive detected.
+   ```
+
+2. **If 2+ true positives found**: Create an issue with:
+   - Clear summary of findings
+   - Detailed breakdown of each true positive
+   - Severity classifications
+   - Actionable recommendations
+   - Complete raw output in collapsible section
+
+Begin the analysis now. Install a3-python, run analysis on the src directory, save output to a3-python-output.txt, post-process to identify true positives, and create a GitHub issue if 2 or more likely issues are found.

.github/workflows/agentics-maintenance.yml

@@ -46,7 +46,7 @@ jobs:
       issues: write
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
 

.github/workflows/api-coherence-checker.lock.yml

@@ -45,7 +45,7 @@ jobs:
       comment_repo: ""
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Check workflow file timestamps
@@ -82,7 +82,7 @@ jobs:
       secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Create gh-aw temp directory
@@ -934,7 +934,7 @@ jobs:
       total_count: ${{ steps.missing_tool.outputs.total_count }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Debug job inputs
@@ -1033,7 +1033,7 @@ jobs:
       success: ${{ steps.parse_results.outputs.success }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent artifacts
@@ -1183,7 +1183,7 @@ jobs:
       process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent output artifact
@@ -1220,7 +1220,7 @@ jobs:
     permissions: {}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download cache-memory artifact (default)

.github/workflows/build-warning-fixer.lock.yml

@@ -45,7 +45,7 @@ jobs:
       comment_repo: ""
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Check workflow file timestamps
@@ -82,7 +82,7 @@ jobs:
       secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Checkout repository
@@ -865,7 +865,7 @@ jobs:
       total_count: ${{ steps.missing_tool.outputs.total_count }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Debug job inputs
@@ -981,7 +981,7 @@ jobs:
       success: ${{ steps.parse_results.outputs.success }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent artifacts
@@ -1133,7 +1133,7 @@ jobs:
       process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent output artifact

.github/workflows/code-conventions-analyzer.lock.yml

@@ -44,7 +44,7 @@ jobs:
       comment_repo: ""
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Check workflow file timestamps
@@ -81,7 +81,7 @@ jobs:
       secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Checkout repository
@@ -1870,7 +1870,7 @@ jobs:
       total_count: ${{ steps.missing_tool.outputs.total_count }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Debug job inputs
@@ -1971,7 +1971,7 @@ jobs:
       success: ${{ steps.parse_results.outputs.success }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent artifacts
@@ -2122,7 +2122,7 @@ jobs:
       process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent output artifact
@@ -2159,7 +2159,7 @@ jobs:
     permissions: {}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download cache-memory artifact (default)

.github/workflows/code-simplifier.lock.yml

@@ -51,7 +51,7 @@ jobs:
       comment_repo: ""
     steps:
       - name: Setup Scripts
-        uses: github/gh-aw/actions/setup@v0.42.6
+        uses: github/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Check workflow file timestamps
@@ -92,7 +92,7 @@ jobs:
       secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }}
     steps:
       - name: Setup Scripts
-        uses: github/gh-aw/actions/setup@v0.42.6
+        uses: github/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Checkout .github and .agents folders
@@ -768,7 +768,7 @@ jobs:
       total_count: ${{ steps.missing_tool.outputs.total_count }}
     steps:
       - name: Setup Scripts
-        uses: github/gh-aw/actions/setup@v0.42.6
+        uses: github/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Debug job inputs
@@ -784,7 +784,7 @@ jobs:
           echo "Agent Conclusion: $AGENT_CONCLUSION"
       - name: Download agent output artifact
         continue-on-error: true
-        uses: actions/download-artifact@018cc2cf5baa6db3ef3c5f8a56943fffe632ef53 # v6.0.0
+        uses: actions/download-artifact@37930b1c2abaa49bbe596cd826c3c89aef350131 # v7.0.0
         with:
           name: agent-output
           path: /tmp/gh-aw/safeoutputs/
@@ -878,18 +878,18 @@ jobs:
       success: ${{ steps.parse_results.outputs.success }}
     steps:
       - name: Setup Scripts
-        uses: github/gh-aw/actions/setup@v0.42.6
+        uses: github/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent artifacts
         continue-on-error: true
-        uses: actions/download-artifact@018cc2cf5baa6db3ef3c5f8a56943fffe632ef53 # v6.0.0
+        uses: actions/download-artifact@37930b1c2abaa49bbe596cd826c3c89aef350131 # v7.0.0
         with:
           name: agent-artifacts
           path: /tmp/gh-aw/threat-detection/
       - name: Download agent output artifact
         continue-on-error: true
-        uses: actions/download-artifact@018cc2cf5baa6db3ef3c5f8a56943fffe632ef53 # v6.0.0
+        uses: actions/download-artifact@37930b1c2abaa49bbe596cd826c3c89aef350131 # v7.0.0
         with:
           name: agent-output
           path: /tmp/gh-aw/threat-detection/
@@ -973,7 +973,7 @@ jobs:
       activated: ${{ (steps.check_membership.outputs.is_team_member == 'true') && (steps.check_skip_if_match.outputs.skip_check_ok == 'true') }}
     steps:
       - name: Setup Scripts
-        uses: github/gh-aw/actions/setup@v0.42.6
+        uses: github/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Check team membership for workflow
@@ -1026,12 +1026,12 @@ jobs:
       process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }}
     steps:
       - name: Setup Scripts
-        uses: github/gh-aw/actions/setup@v0.42.6
+        uses: github/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent output artifact
         continue-on-error: true
-        uses: actions/download-artifact@018cc2cf5baa6db3ef3c5f8a56943fffe632ef53 # v6.0.0
+        uses: actions/download-artifact@37930b1c2abaa49bbe596cd826c3c89aef350131 # v7.0.0
         with:
           name: agent-output
           path: /tmp/gh-aw/safeoutputs/

.github/workflows/deeptest.lock.yml

@@ -53,7 +53,7 @@ jobs:
       comment_repo: ""
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Check workflow file timestamps
@@ -90,7 +90,7 @@ jobs:
       secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Create gh-aw temp directory
@@ -809,7 +809,7 @@ jobs:
       total_count: ${{ steps.missing_tool.outputs.total_count }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Debug job inputs
@@ -924,7 +924,7 @@ jobs:
       success: ${{ steps.parse_results.outputs.success }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent artifacts
@@ -1077,7 +1077,7 @@ jobs:
       process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent output artifact
@@ -1140,7 +1140,7 @@ jobs:
     permissions: {}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download cache-memory artifact (default)

.github/workflows/nightly.yml

@@ -620,12 +620,14 @@ jobs:
         run: |
           cd artifacts
           ls
-          mkdir -p osx-x64-bin osx-arm64-bin win32-bin win64-bin win-arm64-bin
+          mkdir -p osx-x64-bin osx-arm64-bin win32-bin win64-bin win-arm64-bin linux-x64-bin linux-arm64-bin
           cd osx-x64-bin && unzip ../z3-*-x64-osx*.zip && cd ..
           cd osx-arm64-bin && unzip ../z3-*-arm64-osx*.zip && cd ..
           cd win32-bin && unzip ../z3-*-x86-win*.zip && cd ..
           cd win64-bin && unzip ../z3-*-x64-win*.zip && cd ..
           cd win-arm64-bin && unzip ../z3-*-arm64-win*.zip && cd ..
+          cd linux-arm64-bin && unzip ../z3-*-2_38_aarch64*.zip && cd ..
+          cd linux-x64-bin && unzip ../z3-*-27_x86_64*.zip && cd ..  
       
       - name: Build Python packages
         run: |
@@ -637,6 +639,8 @@ jobs:
           echo $PWD/../../../artifacts/win-arm64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel
           echo $PWD/../../../artifacts/osx-x64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel
           echo $PWD/../../../artifacts/osx-arm64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel
+          echo $PWD/../../../artifacts/linux-arm64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel
+          echo $PWD/../../../artifacts/linux-x64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel          
       
       - name: Upload artifact
         uses: actions/upload-artifact@v6

.github/workflows/release-notes-updater.lock.yml

@@ -45,7 +45,7 @@ jobs:
       comment_repo: ""
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Check workflow file timestamps
@@ -82,7 +82,7 @@ jobs:
       secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Create gh-aw temp directory
@@ -912,7 +912,7 @@ jobs:
       total_count: ${{ steps.missing_tool.outputs.total_count }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Debug job inputs
@@ -1011,7 +1011,7 @@ jobs:
       success: ${{ steps.parse_results.outputs.success }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent artifacts
@@ -1161,7 +1161,7 @@ jobs:
       process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent output artifact

.github/workflows/soundness-bug-detector.lock.yml

@@ -49,7 +49,7 @@ jobs:
       comment_repo: ""
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Check workflow file timestamps
@@ -84,7 +84,7 @@ jobs:
       secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Create gh-aw temp directory
@@ -785,7 +785,7 @@ jobs:
       total_count: ${{ steps.missing_tool.outputs.total_count }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Debug job inputs
@@ -884,7 +884,7 @@ jobs:
       success: ${{ steps.parse_results.outputs.success }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent artifacts
@@ -1036,7 +1036,7 @@ jobs:
       process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent output artifact
@@ -1073,7 +1073,7 @@ jobs:
     permissions: {}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download cache-memory artifact (default)

.github/workflows/specbot.lock.yml

@@ -57,7 +57,7 @@ jobs:
       comment_repo: ""
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Check workflow file timestamps
@@ -97,7 +97,7 @@ jobs:
       secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Create gh-aw temp directory
@@ -749,7 +749,7 @@ jobs:
       total_count: ${{ steps.missing_tool.outputs.total_count }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Debug job inputs
@@ -850,7 +850,7 @@ jobs:
       success: ${{ steps.parse_results.outputs.success }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent artifacts
@@ -1000,7 +1000,7 @@ jobs:
       process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent output artifact

.github/workflows/workflow-suggestion-agent.lock.yml

@@ -45,7 +45,7 @@ jobs:
       comment_repo: ""
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Check workflow file timestamps
@@ -82,7 +82,7 @@ jobs:
       secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Create gh-aw temp directory
@@ -1107,7 +1107,7 @@ jobs:
       total_count: ${{ steps.missing_tool.outputs.total_count }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Debug job inputs
@@ -1206,7 +1206,7 @@ jobs:
       success: ${{ steps.parse_results.outputs.success }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent artifacts
@@ -1356,7 +1356,7 @@ jobs:
       process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download agent output artifact
@@ -1393,7 +1393,7 @@ jobs:
     permissions: {}
     steps:
       - name: Setup Scripts
-        uses: githubnext/gh-aw/actions/setup@v0.40.0
+        uses: githubnext/gh-aw/actions/setup@v0.42.17
         with:
           destination: /opt/gh-aw/actions
       - name: Download cache-memory artifact (default)

src/math/polynomial/polynomial.cpp

@@ -2133,7 +2133,7 @@ namespace polynomial {
                     m_m2pos.reset(m);
                     m_m2pos.set(m, i);
                 }
-                m_tmp_as = std::move(new_as);
+                m_tmp_as.swap(new_as);
             }
 
             // For each monomial m

src/math/polynomial/upolynomial.cpp

@@ -249,7 +249,7 @@ namespace upolynomial {
 
     void core_manager::neg(unsigned sz, numeral const * p, numeral_vector & buffer) {
         neg_core(sz, p, m_basic_tmp);
-        buffer = std::move(m_basic_tmp);
+        buffer.swap(m_basic_tmp);
     }
 
     // buffer := p1 + p2
@@ -274,7 +274,7 @@ namespace upolynomial {
 
     void core_manager::add(unsigned sz1, numeral const * p1, unsigned sz2, numeral const * p2, numeral_vector & buffer) {
         add_core(sz1, p1, sz2, p2, m_basic_tmp);
-        buffer = std::move(m_basic_tmp);
+        buffer.swap(m_basic_tmp);
     }
 
     // buffer := p1 - p2
@@ -802,7 +802,7 @@ namespace upolynomial {
                 TRACE(mgcd, tout << "found GCD\n";);
                 mul(candidate, c_g);
                 flip_sign_if_lm_neg(candidate);
-                result = std::move(candidate);
+                candidate.swap(result);
                 TRACE(mgcd, tout << "r: "; display_star(tout, result); tout << "\n";);
                 return;
             }
@@ -1009,7 +1009,7 @@ namespace upolynomial {
         set(sz, p, result);
         for (unsigned i = 1; i < k; ++i)
             mul(m_pw_tmp.size(), m_pw_tmp.data(), sz, p, m_pw_tmp);
-        r = std::move(result);
+        r.swap(result);
 #if 0
         unsigned mask  = 1;
         numeral_vector & p2 = m_pw_tmp;

src/nlsat/levelwise.cpp

@@ -791,7 +791,7 @@ namespace nlsat {
         // Helper: Connect non-tree (single-side) polynomials to their respective boundaries
         void connect_non_tree_to_bounds() {
             auto const& rfs = m_rel.m_rfunc;
-            unsigned n = rfs.size();
+            auto n = rfs.size();
             
             // Lower side: connect single-side polys to lower boundary
             for (unsigned j = 0; j < m_l_rf; ++j)
@@ -807,7 +807,7 @@ namespace nlsat {
         // Helper: Connect spanning tree extremes to boundaries (when boundaries are different polys)
         void connect_tree_extremes_to_bounds() {
             auto const& rfs = m_rel.m_rfunc;
-            unsigned n = rfs.size();
+            auto n = rfs.size();
             
             // Find max lower both-side poly (closest to lower boundary from below)
             unsigned max_lower_both = UINT_MAX;

src/qe/nlqsat.cpp

@@ -387,7 +387,7 @@ namespace qe {
             for (unsigned i = vars.size(); i-- > 0;) {
                 ex.project(vars[i], result.size(), result.data(), new_result);
                 TRACE(qe, display_project(tout, vars[i], result, new_result););
-                result = std::move(new_result);
+                result.swap(new_result);
             }
             negate_clause(result);
         }

src/smt/proto_model/proto_model.cpp

@@ -239,7 +239,7 @@ void proto_model::cleanup() {
                 unregister_decl(faux);
             }
         }
-        m_aux_decls = std::move(found_aux_fs);
+        m_aux_decls.swap(found_aux_fs);
     }
     TRACE(model_bug, model_v2_pp(tout, *this););
 }

src/test/sls_test.cpp

@@ -37,7 +37,7 @@ namespace bv {
         void force_restart() override {}
         std::ostream& display(std::ostream& out)  override { return out; }
         reslimit& rlimit() override { return m_limit; }
-        unsigned timestamp(sat::bool_var v) override { return 0; }
+        uint64_t timestamp(sat::bool_var v) override { return 0; }
     };
 
     class sls_test {