Skip to content

Actions: UQ-PAC/BASIL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
571 workflow runs
571 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update expected files Run Examples #74: Commit c6a411f pushed by l-kent
October 13, 2023 06:18 3m 15s main
main
October 13, 2023 06:18 3m 15s
Add version output cli flag derived from git Run Examples #73: Pull request #103 opened by ailrst
October 13, 2023 05:40 2m 17s build-version
build-version
October 13, 2023 05:40 2m 17s
Merge pull request #102 from UQ-PAC/stackidentificationissue Run Examples #72: Commit 96b6d13 pushed by ailrst
October 13, 2023 05:31 3m 19s main
main
October 13, 2023 05:31 3m 19s
Stack Identification Bug Fix Run Examples #71: Pull request #102 opened by l-kent
October 13, 2023 05:00 4m 39s stackidentificationissue
stackidentificationissue
October 13, 2023 05:00 4m 39s
Basil 19 built in non returning functions Run Examples #70: Pull request #88 synchronize by ziggyfish
October 13, 2023 04:12 3m 40s BASIL-19-Built-in-Non-Returning-Functions
BASIL-19-Built-in-Non-Returning-Functions
October 13, 2023 04:12 3m 40s
Merge pull request #93 from UQ-PAC/direct-spec-improvements Run Examples #69: Commit ada2dd4 pushed by l-kent
October 13, 2023 04:09 3m 43s main
main
October 13, 2023 04:09 3m 43s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-03 or the other filters available.