Skip to content

Actions: UQ-PAC/BASIL

Actions

Run Examples

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
ProTip! You can narrow down the results and go further in time using created:<2023-09-29 or the other filters available.