Skip to content

Actions: UQ-PAC/BASIL

Actions

Run Examples

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Non-deterministic GoTos for indirect call resolution Run Examples #126: Pull request #132 synchronize by l-kent
November 2, 2023 23:19 2m 26s indirect-calls-nondet
indirect-calls-nondet
November 2, 2023 23:19 2m 26s
Merge pull request #121 from UQ-PAC/performance-tests Run Examples #125: Commit 5f02a10 pushed by ailrst
November 1, 2023 07:19 4m 4s main
main
November 1, 2023 07:19 4m 4s
Performance tests Run Examples #124: Pull request #121 synchronize by ailrst
November 1, 2023 06:33 3m 17s performance-tests
performance-tests
November 1, 2023 06:33 3m 17s
Performance tests Run Examples #123: Pull request #121 synchronize by l-kent
November 1, 2023 04:33 3m 24s performance-tests
performance-tests
November 1, 2023 04:33 3m 24s
Merge pull request #131 from UQ-PAC/extra-attributes Run Examples #122: Commit a14ddea pushed by ailrst
November 1, 2023 03:20 3m 46s main
main
November 1, 2023 03:20 3m 46s
Add extern attribute and captureState attribute to pass binary locations to boogie for better debugging Run Examples #121: Pull request #131 synchronize by l-kent
November 1, 2023 02:49 3m 20s extra-attributes
extra-attributes
November 1, 2023 02:49 3m 20s
Add extern attribute and captureState attribute to pass binary locations to boogie for better debugging Run Examples #120: Pull request #131 synchronize by ailrst
November 1, 2023 00:19 4m 4s extra-attributes
extra-attributes
November 1, 2023 00:19 4m 4s
Improved Memory Identification Run Examples #119: Pull request #86 synchronize by yousifpatti
October 31, 2023 07:16 2m 28s yousif-memory-region-analysis
yousif-memory-region-analysis
October 31, 2023 07:16 2m 28s
Add extern attribute and captureState attribute to pass binary locations to boogie for better debugging Run Examples #118: Pull request #131 synchronize by ailrst
October 31, 2023 06:40 3m 17s extra-attributes
extra-attributes
October 31, 2023 06:40 3m 17s
Improved Memory Identification Run Examples #117: Pull request #86 synchronize by yousifpatti
October 31, 2023 04:39 3m 19s yousif-memory-region-analysis
yousif-memory-region-analysis
October 31, 2023 04:39 3m 19s
Improved Memory Identification Run Examples #116: Pull request #86 synchronize by yousifpatti
October 31, 2023 01:18 3m 18s yousif-memory-region-analysis
yousif-memory-region-analysis
October 31, 2023 01:18 3m 18s
Add extern attribute and captureState attribute to pass binary locations to boogie for better debugging Run Examples #115: Pull request #131 synchronize by ailrst
October 30, 2023 04:10 4m 9s extra-attributes
extra-attributes
October 30, 2023 04:10 4m 9s
Add extern attribute and captureState attribute to pass binary locations to boogie for better debugging Run Examples #114: Pull request #131 opened by ailrst
October 27, 2023 07:47 3m 13s extra-attributes
extra-attributes
October 27, 2023 07:47 3m 13s
add libclang funcdef to json tool Run Examples #113: Pull request #130 opened by ailrst
October 27, 2023 00:50 3m 20s libclang-funcdef-tool
libclang-funcdef-tool
October 27, 2023 00:50 3m 20s
Make all generated Boogie declarations extern Run Examples #112: Pull request #128 opened by l-kent
October 25, 2023 23:43 3m 44s boogie-extern
boogie-extern
October 25, 2023 23:43 3m 44s
Performance tests Run Examples #111: Pull request #121 synchronize by ailrst
October 25, 2023 00:32 4m 0s performance-tests
performance-tests
October 25, 2023 00:32 4m 0s
Performance tests Run Examples #110: Pull request #121 opened by ailrst
October 24, 2023 07:19 4m 2s performance-tests
performance-tests
October 24, 2023 07:19 4m 2s
Improved Memory Identification Run Examples #109: Pull request #86 synchronize by yousifpatti
October 24, 2023 07:18 4m 2s yousif-memory-region-analysis
yousif-memory-region-analysis
October 24, 2023 07:18 4m 2s
Merge pull request #115 from UQ-PAC/fix-extra-mem-modifies Run Examples #108: Commit e082890 pushed by ailrst
October 19, 2023 01:16 3m 15s main
main
October 19, 2023 01:16 3m 15s
Merge pull request #116 from UQ-PAC/format-adt Run Examples #107: Commit eaa98b7 pushed by l-kent
October 19, 2023 00:02 3m 14s main
main
October 19, 2023 00:02 3m 14s
Propagate modifies clause through boogie program Run Examples #106: Pull request #115 synchronize by l-kent
October 18, 2023 23:52 3m 43s fix-extra-mem-modifies
fix-extra-mem-modifies
October 18, 2023 23:52 3m 43s
format_adt: refactor to manually-written formatter Run Examples #105: Pull request #116 synchronize by katrinafyi
October 18, 2023 10:25 3m 51s format-adt
format-adt
October 18, 2023 10:25 3m 51s
format_adt: refactor to manually-written formatter Run Examples #104: Pull request #116 synchronize by katrinafyi
October 18, 2023 10:09 3m 19s format-adt
format-adt
October 18, 2023 10:09 3m 19s
format_adt: refactor to manually-written formatter Run Examples #103: Pull request #116 opened by katrinafyi
October 18, 2023 08:00 3m 13s format-adt
format-adt
October 18, 2023 08:00 3m 13s
Propagate modifies clause through boogie program Run Examples #102: Pull request #115 opened by ailrst
October 18, 2023 07:29 3m 17s fix-extra-mem-modifies
fix-extra-mem-modifies
October 18, 2023 07:29 3m 17s
ProTip! You can narrow down the results and go further in time using created:<2023-10-18 or the other filters available.