Skip to content

Actions: UQ-PAC/BASIL

Actions

Run Examples

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
run-examples.yml
572 workflow runs
572 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #90 from UQ-PAC/godbolt-boogie-direct Run Examples #50: Commit 049af3b pushed by l-kent
October 3, 2023 03:57 3m 15s main
main
October 3, 2023 03:57 3m 15s
Merge pull request #89 from UQ-PAC/basic_arrays_write_spec_fix Run Examples #49: Commit 87983bd pushed by ailrst
September 29, 2023 07:45 4m 13s main
main
September 29, 2023 07:45 4m 13s
Godbolt boogie direct, move godbolt to separate repo Run Examples #48: Pull request #90 synchronize by ailrst
September 29, 2023 06:49 3m 11s godbolt-boogie-direct
godbolt-boogie-direct
September 29, 2023 06:49 3m 11s
Godbolt boogie direct, move godbolt to separate repo Run Examples #47: Pull request #90 opened by ailrst
September 29, 2023 06:48 3m 7s godbolt-boogie-direct
godbolt-boogie-direct
September 29, 2023 06:48 3m 7s
Fix outdated example specs Run Examples #46: Pull request #89 opened by l-kent
September 29, 2023 04:00 4m 2s basic_arrays_write_spec_fix
basic_arrays_write_spec_fix
September 29, 2023 04:00 4m 2s
Merge analysis-devel: Unified CFG and Static Analysis Run Examples #45: Pull request #61 synchronize by ailrst
September 28, 2023 01:33 3m 17s analysis-devel
analysis-devel
September 28, 2023 01:33 3m 17s
Merge pull request #80 from UQ-PAC/timeout_tests Run Examples #44: Commit aadf23c pushed by ailrst
September 28, 2023 00:55 3m 12s main
main
September 28, 2023 00:55 3m 12s
Merge pull request #79 from UQ-PAC/serialise-il Run Examples #43: Commit 50c80a6 pushed by l-kent
September 22, 2023 01:14 3m 7s main
main
September 22, 2023 01:14 3m 7s
Serialise IL Run Examples #42: Pull request #79 synchronize by ailrst
September 22, 2023 00:58 3m 10s serialise-il
serialise-il
September 22, 2023 00:58 3m 10s
Serialise IL Run Examples #41: Pull request #79 synchronize by ailrst
September 21, 2023 04:12 3m 7s serialise-il
serialise-il
September 21, 2023 04:12 3m 7s
Time limits for SystemTests Run Examples #40: Pull request #80 opened by l-kent
September 21, 2023 00:11 3m 6s timeout_tests
timeout_tests
September 21, 2023 00:11 3m 6s
Serialise IL Run Examples #39: Pull request #79 opened by ailrst
September 20, 2023 07:24 3m 9s serialise-il
serialise-il
September 20, 2023 07:24 3m 9s
Merge pull request #71 from UQ-PAC/new-ir Run Examples #38: Commit ecc244f pushed by ailrst
September 19, 2023 03:45 3m 3s main
main
September 19, 2023 03:45 3m 3s
Improved stack identification, many other changes Run Examples #37: Pull request #71 opened by l-kent
September 18, 2023 01:30 3m 7s new-ir
new-ir
September 18, 2023 01:30 3m 7s
Merge pull request #57 from UQ-PAC/BASIL-1 Run Examples #36: Commit 7b9472f pushed by l-kent
September 12, 2023 05:34 3m 1s main
main
September 12, 2023 05:34 3m 1s
BASIL-1 - Added unit tests for SMT operations Run Examples #35: Pull request #57 synchronize by l-kent
September 12, 2023 05:34 3m 7s BASIL-1
BASIL-1
September 12, 2023 05:34 3m 7s
BASIL-1 - Added unit tests for SMT operations Run Examples #34: Pull request #57 synchronize by ziggyfish
September 12, 2023 04:47 3m 7s BASIL-1
BASIL-1
September 12, 2023 04:47 3m 7s
Merge pull request #59 from UQ-PAC/readme-updates Run Examples #33: Commit 77a98ba pushed by l-kent
September 12, 2023 03:00 3m 0s main
main
September 12, 2023 03:00 3m 0s
Readme updates Run Examples #32: Pull request #59 opened by ailrst
September 11, 2023 07:35 3m 0s readme-updates
readme-updates
September 11, 2023 07:35 3m 0s
BASIL-1 - Added unit tests for SMT operations Run Examples #31: Pull request #57 synchronize by ziggyfish
September 11, 2023 05:15 4m 7s BASIL-1
BASIL-1
September 11, 2023 05:15 4m 7s
Merge branch 'argparsing-refactor' Run Examples #30: Commit e1b435a pushed by l-kent
September 11, 2023 04:37 3m 0s main
main
September 11, 2023 04:37 3m 0s
Merge pull request #49 from UQ-PAC/test-automation Run Examples #29: Commit 9c90a8b pushed by l-kent
September 11, 2023 04:15 4m 10s main
main
September 11, 2023 04:15 4m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-09-11 or the other filters available.