Skip to content

Actions: UQ-PAC/BASIL

Run Examples

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
572 workflow runs
572 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[do not merge] try to fix ci for nix-docker-build
Run Examples #575: Pull request #289 synchronize by katrinafyi
December 13, 2024 10:51 8m 23s nix-docker-build-ci
December 13, 2024 10:51 8m 23s
[do not merge] try to fix ci for nix-docker-build
Run Examples #574: Pull request #289 synchronize by katrinafyi
December 13, 2024 08:25 8m 1s nix-docker-build-ci
December 13, 2024 08:25 8m 1s
[do not merge] try to fix ci for nix-docker-build
Run Examples #573: Pull request #289 synchronize by katrinafyi
December 13, 2024 08:00 8m 20s nix-docker-build-ci
December 13, 2024 08:00 8m 20s
[do not merge] try to fix ci for nix-docker-build
Run Examples #572: Pull request #289 opened by katrinafyi
December 13, 2024 07:59 1s nix-docker-build-ci
December 13, 2024 07:59 1s
Reproducible Docker build for test cases in src/test
Run Examples #571: Pull request #288 synchronize by katrinafyi
December 13, 2024 07:51 2m 13s nix-docker-build
December 13, 2024 07:51 2m 13s
Reproducible Docker build for test cases in src/test
Run Examples #570: Pull request #288 synchronize by katrinafyi
December 13, 2024 07:39 2m 11s nix-docker-build
December 13, 2024 07:39 2m 11s
Reproducible Docker build for test cases in src/test
Run Examples #569: Pull request #288 synchronize by katrinafyi
December 13, 2024 07:01 2m 21s nix-docker-build
December 13, 2024 07:01 2m 21s
Reproducible Docker build for test cases in src/test
Run Examples #568: Pull request #288 synchronize by katrinafyi
December 13, 2024 04:57 2m 12s nix-docker-build
December 13, 2024 04:57 2m 12s
Reproducible Docker build for test cases in src/test
Run Examples #567: Pull request #288 opened by katrinafyi
December 13, 2024 03:40 2m 26s nix-docker-build
December 13, 2024 03:40 2m 26s
Merge pull request #287 from UQ-PAC/bap-missing-addr
Run Examples #566: Commit d2df5db pushed by ailrst
December 11, 2024 03:20 8m 39s main
December 11, 2024 03:20 8m 39s
fix bap loader with missing proc address
Run Examples #565: Pull request #287 opened by ailrst
December 11, 2024 03:20 8m 50s bap-missing-addr
December 11, 2024 03:20 8m 50s
Merge pull request #257 from UQ-PAC/irreducible-loops-cleanup
Run Examples #564: Commit 4d3f703 pushed by l-kent
December 11, 2024 01:47 8m 54s main
December 11, 2024 01:47 8m 54s
Irreducible loops cleanup
Run Examples #563: Pull request #257 synchronize by l-kent
December 11, 2024 01:36 8m 48s irreducible-loops-cleanup
December 11, 2024 01:36 8m 48s
frontend fixes to support CAS
Run Examples #562: Pull request #284 synchronize by ailrst
December 10, 2024 07:21 8m 42s cas-fixes-281
December 10, 2024 07:21 8m 42s
Simplification pass
Run Examples #561: Pull request #256 synchronize by ailrst
December 10, 2024 06:50 11m 46s simplification-pass
December 10, 2024 06:50 11m 46s
frontend fixes to support CAS
Run Examples #560: Pull request #284 synchronize by ailrst
December 10, 2024 06:26 8m 20s cas-fixes-281
December 10, 2024 06:26 8m 20s
frontend fixes to support CAS
Run Examples #559: Pull request #284 opened by ailrst
December 10, 2024 06:24 8m 40s cas-fixes-281
December 10, 2024 06:24 8m 40s
Test time analyses csmith
Run Examples #558: Pull request #243 synchronize by ailrst
December 10, 2024 04:42 8m 48s test-time-analyses-csmith
December 10, 2024 04:42 8m 48s
Test time analyses csmith
Run Examples #557: Pull request #243 synchronize by ailrst
December 10, 2024 04:39 8m 55s test-time-analyses-csmith
December 10, 2024 04:39 8m 55s
Test time analyses csmith
Run Examples #556: Pull request #243 synchronize by ailrst
December 10, 2024 04:21 8m 51s test-time-analyses-csmith
December 10, 2024 04:21 8m 51s
Added SASI and VS
Run Examples #555: Commit 4cb64c0 pushed by yousifpatti
December 9, 2024 01:12 8m 40s main
December 9, 2024 01:12 8m 40s
Merge pull request #278 from UQ-PAC/points_to_analysis_overlapping_ac…
Run Examples #554: Commit 8c49e69 pushed by l-kent
December 6, 2024 06:35 8m 56s main
December 6, 2024 06:35 8m 56s
Points to analysis overlapping access
Run Examples #553: Pull request #278 synchronize by sadrabt
December 6, 2024 06:22 8m 38s points_to_analysis_overlapping_access
December 6, 2024 06:22 8m 38s
Points to analysis overlapping access
Run Examples #552: Pull request #278 synchronize by sadrabt
December 6, 2024 06:18 6h 0m 16s points_to_analysis_overlapping_access
December 6, 2024 06:18 6h 0m 16s
Memory Region and VSA bug fixes
Run Examples #551: Pull request #270 synchronize by l-kent
December 6, 2024 02:03 8m 57s yousif-VSA-uptodate
December 6, 2024 02:03 8m 57s