Skip to content

Actions: UQ-PAC/BASIL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow run results
74 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stream writer boogie file translation and function trimming for large binaries Run Examples #188: Pull request #152 synchronize by ailrst
January 12, 2024 02:08 2m 21s stream-writers
stream-writers
January 12, 2024 02:08 2m 21s
Demo example test case Run Examples #187: Pull request #146 synchronize by ailrst
January 12, 2024 01:28 2m 5s demo-example-test-case
demo-example-test-case
January 12, 2024 01:28 2m 5s
Mill build system Run Examples #186: Pull request #154 opened by ailrst
January 12, 2024 01:00 2m 27s mill
mill
January 12, 2024 01:00 2m 27s
Stream writer boogie file translation and function trimming for large binaries Run Examples #185: Pull request #152 synchronize by l-kent
January 11, 2024 03:47 2m 33s stream-writers
stream-writers
January 11, 2024 03:47 2m 33s
Stream writer boogie file translation and function trimming for large binaries Run Examples #184: Pull request #152 opened by ailrst
January 5, 2024 08:32 2m 30s stream-writers
stream-writers
January 5, 2024 08:32 2m 30s
Demo example test case Run Examples #183: Pull request #146 synchronize by ailrst
January 4, 2024 08:02 2m 31s demo-example-test-case
demo-example-test-case
January 4, 2024 08:02 2m 31s
Demo example test case Run Examples #182: Pull request #146 synchronize by ailrst
January 4, 2024 08:00 2m 33s demo-example-test-case
demo-example-test-case
January 4, 2024 08:00 2m 33s
Demo example test case Run Examples #181: Pull request #146 synchronize by ailrst
January 4, 2024 07:54 2m 25s demo-example-test-case
demo-example-test-case
January 4, 2024 07:54 2m 25s
Demo example test case Run Examples #180: Pull request #146 synchronize by ailrst
January 4, 2024 07:21 2m 34s demo-example-test-case
demo-example-test-case
January 4, 2024 07:21 2m 34s
Demo example test case Run Examples #179: Pull request #146 synchronize by ailrst
January 4, 2024 05:49 2m 36s demo-example-test-case
demo-example-test-case
January 4, 2024 05:49 2m 36s
fix typo in dockerfile Run Examples #178: Commit 2a7d05f pushed by ailrst
January 3, 2024 07:16 2m 39s main
main
January 3, 2024 07:16 2m 39s
rely/guarantee for external library functions Run Examples #177: Pull request #148 opened by l-kent
December 20, 2023 00:12 2m 36s procedure-rg
procedure-rg
December 20, 2023 00:12 2m 36s
Steensgaard implementation and adding ctx sensitivity at call sites Run Examples #176: Pull request #147 synchronize by yousifpatti
December 18, 2023 14:41 2m 27s yousif-steensgaard-ctx-sensetive
yousif-steensgaard-ctx-sensetive
December 18, 2023 14:41 2m 27s
Steensgaard implementation and adding ctx sensitivity at call sites Run Examples #175: Pull request #147 synchronize by yousifpatti
December 13, 2023 04:57 2m 42s yousif-steensgaard-ctx-sensetive
yousif-steensgaard-ctx-sensetive
December 13, 2023 04:57 2m 42s
Steensgaard implementation and adding ctx sensitivity at call sites Run Examples #174: Pull request #147 synchronize by yousifpatti
December 12, 2023 04:16 2m 32s yousif-steensgaard-ctx-sensetive
yousif-steensgaard-ctx-sensetive
December 12, 2023 04:16 2m 32s
Merge pull request #114 from UQ-PAC/yousif-memory-region-analysis Run Examples #173: Commit 4dd8d28 pushed by l-kent
December 8, 2023 03:00 2m 24s main
main
December 8, 2023 03:00 2m 24s
Steensgaard implementation and adding ctx sensitivity at call sites Run Examples #172: Pull request #147 synchronize by yousifpatti
December 6, 2023 07:30 2m 24s yousif-steensgaard-ctx-sensetive
yousif-steensgaard-ctx-sensetive
December 6, 2023 07:30 2m 24s
Steensgaard implementation and adding ctx sensitivity at call sites Run Examples #171: Pull request #147 synchronize by yousifpatti
December 6, 2023 04:19 2m 23s yousif-steensgaard-ctx-sensetive
yousif-steensgaard-ctx-sensetive
December 6, 2023 04:19 2m 23s
Steensgaard implementation and adding ctx sensitivity at call sites Run Examples #170: Pull request #147 synchronize by yousifpatti
December 6, 2023 01:49 2m 28s yousif-steensgaard-ctx-sensetive
yousif-steensgaard-ctx-sensetive
December 6, 2023 01:49 2m 28s
Adding lifted lattice solver Run Examples #169: Pull request #114 synchronize by yousifpatti
December 5, 2023 02:07 2m 26s yousif-memory-region-analysis
yousif-memory-region-analysis
December 5, 2023 02:07 2m 26s
Adding lifted lattice solver Run Examples #168: Pull request #114 synchronize by yousifpatti
December 5, 2023 00:36 2m 27s yousif-memory-region-analysis
yousif-memory-region-analysis
December 5, 2023 00:36 2m 27s
Adding lifted lattice solver Run Examples #167: Pull request #114 synchronize by yousifpatti
December 5, 2023 00:19 2m 35s yousif-memory-region-analysis
yousif-memory-region-analysis
December 5, 2023 00:19 2m 35s
Steensgaard implementation and adding ctx sensitivity at call sites Run Examples #166: Pull request #147 opened by yousifpatti
December 5, 2023 00:18 2m 26s yousif-steensgaard-ctx-sensetive
yousif-steensgaard-ctx-sensetive
December 5, 2023 00:18 2m 26s
Demo example test case Run Examples #165: Pull request #146 opened by ailrst
December 4, 2023 06:26 2m 27s demo-example-test-case
demo-example-test-case
December 4, 2023 06:26 2m 27s