Skip to content

Actions: UQ-PAC/BASIL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
548 workflow runs
548 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Basil 19 built in non returning functions Run Examples #68: Pull request #88 synchronize by ziggyfish
October 13, 2023 04:07 3m 18s BASIL-19-Built-in-Non-Returning-Functions
BASIL-19-Built-in-Non-Returning-Functions
October 13, 2023 04:07 3m 18s
Specification Improvements Run Examples #67: Pull request #93 synchronize by l-kent
October 13, 2023 03:45 3m 22s direct-spec-improvements
direct-spec-improvements
October 13, 2023 03:45 3m 22s
Basil 19 built in non returning functions Run Examples #66: Pull request #88 synchronize by ziggyfish
October 13, 2023 03:26 3m 12s BASIL-19-Built-in-Non-Returning-Functions
BASIL-19-Built-in-Non-Returning-Functions
October 13, 2023 03:26 3m 12s
Tests cleanup Run Examples #65: Pull request #94 synchronize by l-kent
October 13, 2023 02:10 3m 9s tests-cleanup
tests-cleanup
October 13, 2023 02:10 3m 9s
add example with quantified specs Run Examples #64: Pull request #99 synchronize by ailrst
October 13, 2023 00:50 3m 13s cntlm-examples
cntlm-examples
October 13, 2023 00:50 3m 13s
add example with quantified specs Run Examples #63: Pull request #99 opened by ailrst
October 13, 2023 00:27 4m 20s cntlm-examples
cntlm-examples
October 13, 2023 00:27 4m 20s
Basil 19 built in non returning functions Run Examples #62: Pull request #88 synchronize by ziggyfish
October 13, 2023 00:15 4m 57s BASIL-19-Built-in-Non-Returning-Functions
BASIL-19-Built-in-Non-Returning-Functions
October 13, 2023 00:15 4m 57s
don't use '--analyse' in tests, whoops Run Examples #61: Commit 96bc93f pushed by l-kent
October 12, 2023 00:37 3m 9s main
main
October 12, 2023 00:37 3m 9s
Merge analysis-devel: Unified CFG and Static Analysis Run Examples #60: Pull request #61 synchronize by l-kent
October 12, 2023 00:25 3m 15s analysis-devel
analysis-devel
October 12, 2023 00:25 3m 15s
Merge analysis-devel: Unified CFG and Static Analysis Run Examples #59: Pull request #61 synchronize by l-kent
October 12, 2023 00:22 3m 59s analysis-devel
analysis-devel
October 12, 2023 00:22 3m 59s
Merge analysis-devel: Unified CFG and Static Analysis Run Examples #58: Pull request #61 synchronize by l-kent
October 11, 2023 03:58 3m 16s analysis-devel
analysis-devel
October 11, 2023 03:58 3m 16s
Merge analysis-devel: Unified CFG and Static Analysis Run Examples #57: Pull request #61 synchronize by l-kent
October 11, 2023 03:48 3m 4s analysis-devel
analysis-devel
October 11, 2023 03:48 3m 4s
Merge analysis-devel: Unified CFG and Static Analysis Run Examples #56: Pull request #61 synchronize by l-kent
October 10, 2023 06:35 3m 18s analysis-devel
analysis-devel
October 10, 2023 06:35 3m 18s
Tests cleanup Run Examples #55: Pull request #94 synchronize by l-kent
October 9, 2023 05:40 3m 15s tests-cleanup
tests-cleanup
October 9, 2023 05:40 3m 15s
Tests cleanup Run Examples #54: Pull request #94 opened by l-kent
October 9, 2023 05:37 3m 10s tests-cleanup
tests-cleanup
October 9, 2023 05:37 3m 10s
Specification Improvements Run Examples #53: Pull request #93 opened by l-kent
October 9, 2023 01:46 3m 9s direct-spec-improvements
direct-spec-improvements
October 9, 2023 01:46 3m 9s
Read-only memory sections maintained throughout program Run Examples #52: Pull request #92 synchronize by l-kent
October 9, 2023 00:45 3m 12s read-only-memory
read-only-memory
October 9, 2023 00:45 3m 12s
Read-only memory sections maintained throughout program Run Examples #51: Pull request #92 opened by l-kent
October 9, 2023 00:32 3m 52s read-only-memory
read-only-memory
October 9, 2023 00:32 3m 52s
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
ProTip! You can narrow down the results and go further in time using created:<2023-09-28 or the other filters available.