Skip to content

Actions: UQ-PAC/BASIL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
571 workflow runs
571 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplification pass Run Examples #545: Pull request #256 synchronize by ailrst
December 2, 2024 07:12 11m 53s simplification-pass
simplification-pass
December 2, 2024 07:12 11m 53s
Memory regions in Boogie using Data Structure Analysis Run Examples #544: Pull request #279 synchronize by l-kent
December 2, 2024 06:28 8m 37s dsa-regions
dsa-regions
December 2, 2024 06:28 8m 37s
Points to analysis overlapping access Run Examples #543: Pull request #278 synchronize by sadrabt
December 2, 2024 05:52 8m 36s points_to_analysis_overlapping_access
points_to_analysis_overlapping_access
December 2, 2024 05:52 8m 36s
Points to analysis overlapping access Run Examples #542: Pull request #278 synchronize by sadrabt
December 2, 2024 05:51 8m 37s points_to_analysis_overlapping_access
points_to_analysis_overlapping_access
December 2, 2024 05:51 8m 37s
Points to analysis overlapping access Run Examples #541: Pull request #278 synchronize by sadrabt
December 2, 2024 05:18 8m 52s points_to_analysis_overlapping_access
points_to_analysis_overlapping_access
December 2, 2024 05:18 8m 52s
Memory regions in Boogie using Data Structure Analysis Run Examples #540: Pull request #279 synchronize by l-kent
December 2, 2024 04:50 8m 31s dsa-regions
dsa-regions
December 2, 2024 04:50 8m 31s
Points to analysis overlapping access Run Examples #539: Pull request #278 synchronize by sadrabt
December 2, 2024 03:40 8m 45s points_to_analysis_overlapping_access
points_to_analysis_overlapping_access
December 2, 2024 03:40 8m 45s
Points to analysis overlapping access Run Examples #538: Pull request #278 synchronize by l-kent
November 29, 2024 07:35 8m 45s points_to_analysis_overlapping_access
points_to_analysis_overlapping_access
November 29, 2024 07:35 8m 45s
Memory regions in Boogie using Data Structure Analysis Run Examples #537: Pull request #279 synchronize by l-kent
November 28, 2024 23:20 8m 39s dsa-regions
dsa-regions
November 28, 2024 23:20 8m 39s
Memory regions in Boogie using Data Structure Analysis Run Examples #536: Pull request #279 synchronize by sadrabt
November 28, 2024 04:26 8m 42s dsa-regions
dsa-regions
November 28, 2024 04:26 8m 42s
Memory regions in Boogie using Data Structure Analysis Run Examples #535: Pull request #279 opened by l-kent
November 28, 2024 03:32 8m 38s dsa-regions
dsa-regions
November 28, 2024 03:32 8m 38s
Points to analysis overlapping access Run Examples #534: Pull request #278 opened by sadrabt
November 28, 2024 03:00 9m 44s points_to_analysis_overlapping_access
points_to_analysis_overlapping_access
November 28, 2024 03:00 9m 44s
Irreducible loops cleanup Run Examples #533: Pull request #257 synchronize by ailrst
November 28, 2024 00:25 8m 41s irreducible-loops-cleanup
irreducible-loops-cleanup
November 28, 2024 00:25 8m 41s
MemoryLoad as Statement (#269) Run Examples #532: Commit 4586ce2 pushed by l-kent
November 27, 2024 23:41 8m 45s main
main
November 27, 2024 23:41 8m 45s
fixes to Global Function sizes Run Examples #531: Pull request #277 opened by sadrabt
November 27, 2024 11:23 8m 47s overlapping_fixes
overlapping_fixes
November 27, 2024 11:23 8m 47s
Merge pull request #258 from UQ-PAC/points_to_analysis_overlapping_ac… Run Examples #530: Commit 7ef566f pushed by l-kent
November 25, 2024 03:54 8m 42s main
main
November 25, 2024 03:54 8m 42s
added functionality to track overlapping accesses Run Examples #529: Pull request #258 synchronize by sadrabt
November 25, 2024 03:49 11m 48s points_to_analysis_overlapping_access
points_to_analysis_overlapping_access
November 25, 2024 03:49 11m 48s
added functionality to track overlapping accesses Run Examples #528: Pull request #258 synchronize by sadrabt
November 25, 2024 01:54 8m 56s points_to_analysis_overlapping_access
points_to_analysis_overlapping_access
November 25, 2024 01:54 8m 56s
added functionality to track overlapping accesses Run Examples #527: Pull request #258 synchronize by sadrabt
November 24, 2024 23:56 8m 32s points_to_analysis_overlapping_access
points_to_analysis_overlapping_access
November 24, 2024 23:56 8m 32s
Irreducible loops cleanup Run Examples #526: Pull request #257 synchronize by l-kent
November 18, 2024 23:13 1m 53s irreducible-loops-cleanup
irreducible-loops-cleanup
November 18, 2024 23:13 1m 53s
added functionality to track overlapping accesses Run Examples #525: Pull request #258 synchronize by sadrabt
November 18, 2024 01:47 8m 42s points_to_analysis_overlapping_access
points_to_analysis_overlapping_access
November 18, 2024 01:47 8m 42s
added functionality to track overlapping accesses Run Examples #524: Pull request #258 synchronize by sadrabt
November 18, 2024 01:09 8m 46s points_to_analysis_overlapping_access
points_to_analysis_overlapping_access
November 18, 2024 01:09 8m 46s
added functionality to track overlapping accesses Run Examples #523: Pull request #258 synchronize by sadrabt
November 15, 2024 04:02 8m 48s points_to_analysis_overlapping_access
points_to_analysis_overlapping_access
November 15, 2024 04:02 8m 48s
MemoryLoad as Statement (#269) Run Examples #522: Commit 4586ce2 pushed by ailrst
November 13, 2024 01:53 8m 36s main
main
November 13, 2024 01:53 8m 36s
Memory Region and VSA bug fixes Run Examples #521: Pull request #270 opened by yousifpatti
November 12, 2024 03:47 8m 35s yousif-VSA-uptodate
yousif-VSA-uptodate
November 12, 2024 03:47 8m 35s