Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ jobs:

steps:
- name: Clone the VAST repository
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
submodules: true
fetch-depth: 1
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/devcontainer.yml
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ jobs:
docker run --rm -v $(pwd):/workspace -w /workspace ubuntu:latest find . -name . -o -prune -exec rm -rf -- {} + || true

- name: Clone the VAST repository
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
submodules: true
fetch-depth: 1
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/linter.yml
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ jobs:
run: git config --global --add safe.directory '*'

- name: Clone the vast repository
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
submodules: true
fetch-depth: 1
Expand Down
64 changes: 32 additions & 32 deletions .github/workflows/prerelease.yml
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ jobs:

steps:
- name: Clone the VAST repository
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
submodules: true
fetch-depth: '0' # Required by the tag action
Expand All @@ -65,7 +65,7 @@ jobs:
run: cpack --preset ci

- name: Upload VAST build artifact
uses: actions/upload-artifact@v5
uses: actions/upload-artifact@v6
with:
name: VAST
path: ./builds/ci/package/*
Expand Down Expand Up @@ -107,7 +107,7 @@ jobs:

steps:
- name: Fetch VAST artifact
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: VAST

Expand All @@ -124,7 +124,7 @@ jobs:
pip3 install lit psutil

- name: Clone test suite repository
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
repository: trailofbits/vast-llvm-test-suite
ref: main
Expand Down Expand Up @@ -164,7 +164,7 @@ jobs:
run: lit --timeout=360 -v -o ../../results-${{ matrix.vast-target }}$VAST_RESULTS_SUFFIX.json .

- name: Upload results
uses: actions/upload-artifact@v5
uses: actions/upload-artifact@v6
with:
path: ./results-${{ matrix.vast-target }}${{ env.VAST_RESULTS_SUFFIX }}.json
name: results-llvm-ts-${{ matrix.vast-target }}${{ env.VAST_RESULTS_SUFFIX }}
Expand All @@ -178,7 +178,7 @@ jobs:
runs-on: ubuntu-${{ matrix.image-version }}
steps:
- name: Fetch result artifacts
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
pattern: results-llvm-ts-*
merge-multiple: true
Expand All @@ -187,7 +187,7 @@ jobs:
run: pip3 install pandas scipy tabulate

- name: Clone test suite repository
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
repository: trailofbits/vast-llvm-test-suite
sparse-checkout: utils/vast_compare.py
Expand All @@ -203,7 +203,7 @@ jobs:
--output single-source-results

- name: Post results as artifacts
uses: actions/upload-artifact@v5
uses: actions/upload-artifact@v6
with:
name: llvm-test-suite-results
path: |
Expand All @@ -230,7 +230,7 @@ jobs:

steps:
- name: Fetch VAST artifact
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: VAST

Expand All @@ -244,7 +244,7 @@ jobs:
run: git clone --depth=1 https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks.git

- name: Clone patch repository
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
repository: trailofbits/sv-bench-patch
ref: ci-version
Expand All @@ -270,7 +270,7 @@ jobs:
fi

- name: Upload results
uses: actions/upload-artifact@v5
uses: actions/upload-artifact@v6
with:
path: ./stats
name: results-sv-${{ matrix.vast-target }}${{ env.VAST_RESULTS_SUFFIX }}
Expand All @@ -284,15 +284,15 @@ jobs:
runs-on: ubuntu-${{ matrix.image-version }}
steps:
- name: Fetch result artifacts
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
pattern: results-sv-*

- name: Install evaluator dependencies
run: pip3 install pandas scipy tabulate

- name: Clone patch repository
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
repository: trailofbits/sv-bench-patch
sparse-checkout: make_table.py
Expand All @@ -308,7 +308,7 @@ jobs:
--output sv-comp-results

- name: Post results as artifacts
uses: actions/upload-artifact@v5
uses: actions/upload-artifact@v6
with:
name: sv-comp-results
path: ./sv-comp-results.md
Expand All @@ -334,7 +334,7 @@ jobs:

steps:
- name: Fetch VAST artifact
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: VAST

Expand All @@ -361,7 +361,7 @@ jobs:
python3 ./scripts/clang-tools/gen_compile_commands.py

- name: Clone vast benchmark directory
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
repository: trailofbits/vast-benchmarks
sparse-checkout: benchmarks/linux_kernel
Expand Down Expand Up @@ -391,7 +391,7 @@ jobs:
> vast_linux_kernel_times_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv

- name: Upload results
uses: actions/upload-artifact@v5
uses: actions/upload-artifact@v6
with:
name: vast_linux_kernel_times_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
path: ./vast_linux_kernel_times_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
Expand All @@ -405,7 +405,7 @@ jobs:
runs-on: ubuntu-${{ matrix.image-version }}
steps:
- name: Fetch result artifacts
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
pattern: vast_linux_kernel_times_*
merge-multiple: true
Expand All @@ -414,7 +414,7 @@ jobs:
run: pip3 install pandas scipy tabulate

- name: Clone vast benchmark directory
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
repository: trailofbits/vast-benchmarks
sparse-checkout: utils/
Expand All @@ -429,7 +429,7 @@ jobs:
--output_filepath linux_kernel_times.md

- name: Post results as artifacts
uses: actions/upload-artifact@v5
uses: actions/upload-artifact@v6
with:
name: linux_kernel_times.md
path: ./linux_kernel_times.md
Expand Down Expand Up @@ -461,7 +461,7 @@ jobs:

steps:
- name: Fetch VAST artifact
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: VAST

Expand All @@ -485,7 +485,7 @@ jobs:
bear -- make

- name: Clone vast benchmark directory
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
repository: trailofbits/vast-benchmarks
sparse-checkout: benchmarks/linux_kernel
Expand Down Expand Up @@ -515,7 +515,7 @@ jobs:
> gzip_${{ matrix.gzip-version }}_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv

- name: Upload results
uses: actions/upload-artifact@v5
uses: actions/upload-artifact@v6
with:
name: gzip_${{ matrix.gzip-version }}_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
path: ./gzip_${{ matrix.gzip-version }}_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
Expand All @@ -530,7 +530,7 @@ jobs:
runs-on: ubuntu-${{ matrix.image-version }}
steps:
- name: Fetch result artifacts
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
pattern: gzip_*
merge-multiple: true
Expand All @@ -539,7 +539,7 @@ jobs:
run: pip3 install pandas scipy tabulate

- name: Clone vast benchmark directory
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
repository: trailofbits/vast-benchmarks
sparse-checkout: utils/
Expand All @@ -556,7 +556,7 @@ jobs:
}' --output_filepath gzip_times_${{ matrix.gzip-version }}.md

- name: Post results as artifacts
uses: actions/upload-artifact@v5
uses: actions/upload-artifact@v6
with:
name: gzip_times_${{ matrix.gzip-version }}.md
path: ./gzip_times_${{ matrix.gzip-version }}.md
Expand Down Expand Up @@ -584,7 +584,7 @@ jobs:

steps:
- name: Clone the VAST repository
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
submodules: true
fetch-depth: 1
Expand All @@ -596,31 +596,31 @@ jobs:
run: cmake --build --preset ci-release --target vast-doc

- name: Fetch LLVM test suite results
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: llvm-test-suite-results
path: llvm-test-suite-results

- name: Fetch SV-Comp benchmarks results
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: sv-comp-results
path: sv-comp-results

- name: Fetch Linux kernel benchmark results
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: linux_kernel_times.md
path: linux_kernel_times

- name: Fetch GZIP 1.10 benchmark results
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: gzip_times_1.10.md
path: gzip_times_1.10

- name: Fetch GZIP 1.13 benchmark results
uses: actions/download-artifact@v6
uses: actions/download-artifact@v7
with:
name: gzip_times_1.13.md
path: gzip_times_1.13
Expand Down