Skip to content

Actions: SVF-tools/SVF

Actions

svf-publish

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
svf-lib_publish.yml
275 workflow runs
275 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add arraySize to AddrStmt (#1324) svf-publish #433: Commit afbb2a6 pushed by yuleisui
January 17, 2024 05:37 12m 13s master
master
January 17, 2024 05:37 12m 13s
Merge pull request #1334 from jumormt/1.17.2 svf-publish #432: Commit ae3b2e6 pushed by yuleisui
January 17, 2024 02:52 10m 53s master
master
January 17, 2024 02:52 10m 53s
Merge pull request #1333 from jumormt/1.17 svf-publish #431: Commit 11d209c pushed by yuleisui
January 17, 2024 02:40 13m 23s master
master
January 17, 2024 02:40 13m 23s
Merge pull request #1328 from xudon9/docker-cmake-version svf-publish #430: Commit cd6d473 pushed by yuleisui
January 16, 2024 10:27 11m 59s master
master
January 16, 2024 10:27 11m 59s
Update Dockerfile svf-publish #429: Commit 569eec4 pushed by yuleisui
January 16, 2024 08:03 13m 10s master
master
January 16, 2024 08:03 13m 10s
Merge pull request #1305 from Johanmyst/cmake_modernisation svf-publish #428: Commit 520a08f pushed by yuleisui
January 16, 2024 05:24 12m 52s master
master
January 16, 2024 05:24 12m 52s
Merge pull request #1320 from bjjwwang/master svf-publish #427: Commit 5ba90ce pushed by yuleisui
January 6, 2024 22:15 10m 50s master
master
January 6, 2024 22:15 10m 50s
Fix numOfElements for a C++ object with vtable (#1318) svf-publish #426: Commit 6f1bbc2 pushed by yuleisui
January 5, 2024 06:39 11m 23s master
master
January 5, 2024 06:39 11m 23s
Opaque stage 2.2 (#1317) svf-publish #425: Commit 231c98e pushed by yuleisui
January 5, 2024 04:45 10m 45s master
master
January 5, 2024 04:45 10m 45s
Merge pull request #1315 from yuleisui/master svf-publish #424: Commit 882bb47 pushed by yuleisui
January 4, 2024 02:46 11m 6s master
master
January 4, 2024 02:46 11m 6s
Merge pull request #1304 from jumormt/opaque svf-publish #423: Commit fbdedbe pushed by yuleisui
January 4, 2024 00:22 11m 21s master
master
January 4, 2024 00:22 11m 21s
Merge pull request #1311 from bjjwwang/1230 svf-publish #422: Commit b8c148c pushed by yuleisui
December 31, 2023 03:54 10m 50s master
master
December 31, 2023 03:54 10m 50s
Merge pull request #1310 from bjjwwang/1230 svf-publish #421: Commit 94bc3fb pushed by yuleisui
December 31, 2023 03:39 10m 40s master
master
December 31, 2023 03:39 10m 40s
fix issue #1306: compute vf guard for strong update in another branch… svf-publish #420: Commit 3dee455 pushed by yuleisui
December 30, 2023 11:41 10m 44s master
master
December 30, 2023 11:41 10m 44s
clean up SVF options svf-publish #419: Commit fe88f84 pushed by yuleisui
December 30, 2023 04:39 10m 30s master
master
December 30, 2023 04:39 10m 30s
-print-pts will now print the base and offset of a field object (#1307) svf-publish #418: Commit c7a0787 pushed by yuleisui
December 30, 2023 04:11 10m 53s master
master
December 30, 2023 04:11 10m 53s
Merge pull request #1303 from jumormt/gep svf-publish #417: Commit 76e4d05 pushed by yuleisui
December 29, 2023 02:32 10m 46s master
master
December 29, 2023 02:32 10m 46s
Add -fno-rtti/fno-exceptions based on LLVM's configuration (#1291) svf-publish #416: Commit 52b7034 pushed by yuleisui
December 28, 2023 12:16 10m 50s master
master
December 28, 2023 12:16 10m 50s
Merge pull request #1302 from egnchen/patch-1 svf-publish #415: Commit dfeb685 pushed by yuleisui
December 28, 2023 05:25 11m 39s master
master
December 28, 2023 05:25 11m 39s
Merge pull request #1300 from sinotca529/fix_getFilePath svf-publish #414: Commit a6f6832 pushed by yuleisui
December 23, 2023 07:01 11m 20s master
master
December 23, 2023 07:01 11m 20s
Merge pull request #1297 from yuleisui/master svf-publish #413: Commit 90a0715 pushed by yuleisui
December 22, 2023 05:01 10m 55s master
master
December 22, 2023 05:01 10m 55s
Merge pull request #1296 from jumormt/opaque svf-publish #412: Commit 1195c8e pushed by yuleisui
December 22, 2023 04:14 10m 30s master
master
December 22, 2023 04:14 10m 30s
Merge pull request #1295 from jumormt/opaque svf-publish #411: Commit dee5caa pushed by yuleisui
December 22, 2023 02:12 11m 2s master
master
December 22, 2023 02:12 11m 2s
Merge pull request #1290 from yuleisui/master svf-publish #410: Commit e094a28 pushed by yuleisui
December 20, 2023 11:18 10m 55s master
master
December 20, 2023 11:18 10m 55s
Merge pull request #1292 from Johanmyst/fix_ctx_src svf-publish #409: Commit d51093e pushed by yuleisui
December 20, 2023 09:17 11m 37s master
master
December 20, 2023 09:17 11m 37s