Skip to content

Actions: dg1474/SVF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
SVF code formatter Docker #1: Commit 67efb77 pushed by dg1474
1s master
master
1s
SVF code formatter svf-build #20: Commit 67efb77 pushed by dg1474
22m 56s master
master
22m 56s
SVF code formatter svf-publish #1: Commit 67efb77 pushed by dg1474
9s master
master
9s
style: improve code formatting in SaberCheckerAPI.cpp svf-build #19: Commit e4db3dd pushed by dg1474
22m 22s windows-port-extapi
windows-port-extapi
22m 22s
style: improve code formatting and consistency in SaberCheckerAPI.cpp svf-build #18: Commit ad663a2 pushed by dg1474
22m 25s windows-port-extapi
windows-port-extapi
22m 25s
feat: add Windows heap memory allocation API annotations for Saber svf-build #17: Commit 1e7d27b pushed by dg1474
22m 37s windows-port-extapi
windows-port-extapi
22m 37s
feat: add native Windows compilation support, MSVC fixes, and CI work… windows-build #1: Commit d12f8db pushed by dg1474
1m 14s windows-port-build-ci
windows-port-build-ci
1m 14s
feat: add native Windows compilation support, MSVC fixes, and CI work… svf-build #16: Commit d12f8db pushed by dg1474
17m 8s windows-port-build-ci
windows-port-build-ci
17m 8s
feat: add C++ ABI abstraction layer for MSVC demangling support svf-build #15: Commit afcc401 pushed by dg1474
4m 38s windows-port-cxxabi
windows-port-cxxabi
4m 38s
ci: point to official Test-Suite repository and remove obsolete patch… svf-build #14: Commit d912bc5 pushed by dg1474
30m 1s pr/windows-port
pr/windows-port
30m 1s
Merge upstream/master into pr/windows-port svf-build #13: Commit 3073dc7 pushed by dg1474
30m 19s pr/windows-port
pr/windows-port
30m 19s
fix: condition -fno-rtti compile/link flags to use /GR- and avoid war… svf-build #12: Commit d6c107d pushed by dg1474
30m 45s pr/windows-port
pr/windows-port
30m 45s
fix: change epsilon macro to constexpr constant to avoid namespace co… svf-build #11: Commit a19318f pushed by dg1474
31m 12s pr/windows-port
pr/windows-port
31m 12s
ci: fix Windows MSVC build compile/link errors and runtime library mi… svf-build #10: Commit c85de83 pushed by dg1474
30m 23s pr/windows-port
pr/windows-port
30m 23s
ci: fix windows build workflows for MSVC and MinGW, fix diaguids.lib … svf-build #9: Commit 330841f pushed by dg1474
31m 31s pr/windows-port
pr/windows-port
31m 31s
ci: enable explicit C++17 compilation and fix Windows Test-Suite chec… svf-build #8: Commit 68b2e5d pushed by dg1474
35m 39s pr/windows-port
pr/windows-port
35m 39s
docs: announce LLVM 22 support in README.md & configure CI to compile… svf-build #7: Commit 275034d pushed by dg1474
25m 30s pr/windows-port
pr/windows-port
25m 30s
fix(msvc-abi): fix class name extraction in MSVCABI::demangle svf-build #6: Commit b2db775 pushed by dg1474
25m 59s pr/windows-port
pr/windows-port
25m 59s
ci: update checkout and codecov actions to resolve deprecation warnings svf-build #5: Commit fe2c629 pushed by dg1474
22m 28s pr/llvm22-cxx17-compat
pr/llvm22-cxx17-compat
22m 28s
chore: modernize codebase for LLVM 22 & C++17 compatibility svf-build #4: Commit 7714465 pushed by dg1474
22m 46s pr/llvm22-cxx17-compat
pr/llvm22-cxx17-compat
22m 46s
Windows Port: LLVM 22 compatibility and unified compiler setup (exclu… svf-build #3: Commit d28796b pushed by dg1474
26m 0s pr/windows-port
pr/windows-port
26m 0s
chore: modernize codebase for LLVM 22 & C++17 compatibility svf-build #2: Commit 2a50732 pushed by dg1474
22m 13s pr/llvm22-cxx17-compat
pr/llvm22-cxx17-compat
22m 13s
chore: remove Windows port and MSVC ABI changes from LLVM 22 compatib… svf-build #1: Commit 677508b pushed by dg1474
22m 10s pr/llvm22-cxx17-compat
pr/llvm22-cxx17-compat
22m 10s