Skip to content

Actions: UQ-PAC/BASIL

Actions

Run Examples

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
run-examples.yml
157 workflow run results
157 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mill build system Run Examples #200: Pull request #154 synchronize by utting
January 16, 2024 05:14 2m 24s mill
mill
January 16, 2024 05:14 2m 24s
Demo example test case Run Examples #199: Pull request #146 synchronize by ailrst
January 16, 2024 04:30 2m 25s demo-example-test-case
demo-example-test-case
January 16, 2024 04:30 2m 25s
Demo example test case Run Examples #198: Pull request #146 synchronize by ailrst
January 16, 2024 02:30 2m 20s demo-example-test-case
demo-example-test-case
January 16, 2024 02:30 2m 20s
Mill build system Run Examples #197: Pull request #154 synchronize by ailrst
January 16, 2024 02:15 3m 16s mill
mill
January 16, 2024 02:15 3m 16s
Demo example test case Run Examples #196: Pull request #146 synchronize by ailrst
January 15, 2024 02:25 2m 34s demo-example-test-case
demo-example-test-case
January 15, 2024 02:25 2m 34s
Merge pull request #152 from UQ-PAC/stream-writers Run Examples #195: Commit 41e0788 pushed by ailrst
January 15, 2024 00:49 2m 29s main
main
January 15, 2024 00:49 2m 29s
Demo example test case Run Examples #194: Pull request #146 synchronize by ailrst
January 12, 2024 04:35 2m 27s demo-example-test-case
demo-example-test-case
January 12, 2024 04:35 2m 27s
Demo example test case Run Examples #193: Pull request #146 synchronize by ailrst
January 12, 2024 03:46 2m 21s demo-example-test-case
demo-example-test-case
January 12, 2024 03:46 2m 21s
Stream writer boogie file translation and function trimming for large binaries Run Examples #192: Pull request #152 synchronize by l-kent
January 12, 2024 03:31 2m 36s stream-writers
stream-writers
January 12, 2024 03:31 2m 36s
Merge pull request #142 from UQ-PAC/immutable-expr Run Examples #191: Commit 40a0b0f pushed by l-kent
January 12, 2024 03:21 2m 23s main
main
January 12, 2024 03:21 2m 23s
Stream writer boogie file translation and function trimming for large binaries Run Examples #190: Pull request #152 synchronize by l-kent
January 12, 2024 02:43 2m 26s stream-writers
stream-writers
January 12, 2024 02:43 2m 26s
Stream writer boogie file translation and function trimming for large binaries Run Examples #189: Pull request #152 synchronize by l-kent
January 12, 2024 02:28 2m 31s stream-writers
stream-writers
January 12, 2024 02:28 2m 31s
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