Skip to content

Actions: UQ-PAC/BASIL

Run Examples

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
568 workflow runs
568 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding Memory Regions to IR
Run Examples #446: Pull request #231 synchronize by yousifpatti
August 21, 2024 07:51 15m 18s yousif-fixMemoryInjection
August 21, 2024 07:51 15m 18s
Add docs page on scala programming advice
Run Examples #445: Pull request #233 synchronize by ailrst
August 21, 2024 01:37 15m 43s docs-scala-advice
August 21, 2024 01:37 15m 43s
Add docs page on scala programming advice
Run Examples #444: Pull request #233 opened by ailrst
August 21, 2024 01:31 15m 8s docs-scala-advice
August 21, 2024 01:31 15m 8s
Merge pull request #232 from UQ-PAC/gtirb-nondet-ordering
Run Examples #443: Commit 07581b6 pushed by l-kent
August 20, 2024 05:41 14m 57s main
August 20, 2024 05:41 14m 57s
Adding Memory Regions to IR
Run Examples #442: Pull request #231 synchronize by yousifpatti
August 20, 2024 01:37 15m 39s yousif-fixMemoryInjection
August 20, 2024 01:37 15m 39s
Adding Memory Regions to IR
Run Examples #441: Pull request #231 synchronize by yousifpatti
August 20, 2024 00:22 15m 59s yousif-fixMemoryInjection
August 20, 2024 00:22 15m 59s
Ensure consistent GoTo ordering when using GTIRB input
Run Examples #440: Pull request #232 synchronize by l-kent
August 19, 2024 23:39 15m 38s gtirb-nondet-ordering
August 19, 2024 23:39 15m 38s
Ensure consistent GoTo ordering when using GTIRB input
Run Examples #439: Pull request #232 opened by l-kent
August 19, 2024 23:38 15m 24s gtirb-nondet-ordering
August 19, 2024 23:38 15m 24s
Merge pull request #227 from UQ-PAC/function-summaries
Run Examples #438: Commit ffd54a9 pushed by l-kent
August 19, 2024 23:35 15m 30s main
August 19, 2024 23:35 15m 30s
Function summaries
Run Examples #437: Pull request #227 synchronize by l-kent
August 19, 2024 06:26 16m 4s function-summaries
August 19, 2024 06:26 16m 4s
Function summaries
Run Examples #436: Pull request #227 synchronize by l-kent
August 19, 2024 06:25 2m 6s function-summaries
August 19, 2024 06:25 2m 6s
Call as statement
Run Examples #435: Pull request #230 synchronize by ailrst
August 19, 2024 02:15 16m 11s call-statement
August 19, 2024 02:15 16m 11s
Call as statement
Run Examples #434: Pull request #230 synchronize by ailrst
August 19, 2024 01:57 15m 52s call-statement
August 19, 2024 01:57 15m 52s
Adding Memory Regions to IR
Run Examples #433: Pull request #231 synchronize by yousifpatti
August 19, 2024 01:28 16m 10s yousif-fixMemoryInjection
August 19, 2024 01:28 16m 10s
Adding Memory Regions to IR
Run Examples #432: Pull request #231 opened by yousifpatti
August 13, 2024 06:27 15m 13s yousif-fixMemoryInjection
August 13, 2024 06:27 15m 13s
Merge pull request #228 from UQ-PAC/indirect-calls-assert
Run Examples #431: Commit 6003389 pushed by l-kent
August 13, 2024 04:09 15m 35s main
August 13, 2024 04:09 15m 35s
Assertion to check underapproximation when resolving indirect calls
Run Examples #430: Pull request #228 synchronize by l-kent
August 13, 2024 04:09 15m 30s indirect-calls-assert
August 13, 2024 04:09 15m 30s
Call as statement
Run Examples #429: Pull request #230 synchronize by ailrst
August 12, 2024 00:19 15m 27s call-statement
August 12, 2024 00:19 15m 27s
Call as statement
Run Examples #428: Pull request #230 synchronize by ailrst
August 9, 2024 07:37 15m 32s call-statement
August 9, 2024 07:37 15m 32s
Call as statement
Run Examples #427: Pull request #230 synchronize by ailrst
August 9, 2024 07:28 15m 33s call-statement
August 9, 2024 07:28 15m 33s
Call as statement
Run Examples #426: Pull request #230 synchronize by ailrst
August 9, 2024 07:14 14m 44s call-statement
August 9, 2024 07:14 14m 44s
Call as statement
Run Examples #425: Pull request #230 synchronize by ailrst
August 9, 2024 06:46 9m 14s call-statement
August 9, 2024 06:46 9m 14s
Call as statement
Run Examples #424: Pull request #230 synchronize by ailrst
August 9, 2024 05:06 8m 57s call-statement
August 9, 2024 05:06 8m 57s
Call as statement
Run Examples #423: Pull request #230 opened by ailrst
August 8, 2024 07:50 15m 39s call-statement
August 8, 2024 07:50 15m 39s
add markdown output for github actions display (#224)
Run Examples #422: Commit 5ffc8e3 pushed by ailrst
August 8, 2024 05:52 15m 42s main
August 8, 2024 05:52 15m 42s