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

Adding lifted lattice solver Run Examples #151: Pull request #114 synchronize by yousifpatti
November 21, 2023 06:42 2m 35s yousif-memory-region-analysis
yousif-memory-region-analysis
November 21, 2023 06:42 2m 35s
Analysis Cleanup and Explicit Types Run Examples #150: Pull request #144 synchronize by l-kent
November 21, 2023 05:44 2m 24s lattice-types
lattice-types
November 21, 2023 05:44 2m 24s
Analysis Cleanup and Explicit Types Run Examples #149: Pull request #144 synchronize by l-kent
November 21, 2023 04:56 1m 49s lattice-types
lattice-types
November 21, 2023 04:56 1m 49s
Adding lifted lattice solver Run Examples #148: Pull request #114 synchronize by yousifpatti
November 21, 2023 04:56 2m 23s yousif-memory-region-analysis
yousif-memory-region-analysis
November 21, 2023 04:56 2m 23s
Make Exprs Immutable Run Examples #147: Pull request #142 synchronize by l-kent
November 21, 2023 04:08 2m 27s immutable-expr
immutable-expr
November 21, 2023 04:08 2m 27s
Adding lifted lattice solver Run Examples #146: Pull request #114 synchronize by yousifpatti
November 21, 2023 00:05 2m 28s yousif-memory-region-analysis
yousif-memory-region-analysis
November 21, 2023 00:05 2m 28s
Merge pull request #136 from UQ-PAC/worklist-perf Run Examples #145: Commit 5711c4d pushed by ailrst
November 20, 2023 23:56 2m 31s main
main
November 20, 2023 23:56 2m 31s
Analysis Cleanup and Explicit Types Run Examples #144: Pull request #144 opened by l-kent
November 16, 2023 23:29 2m 25s lattice-types
lattice-types
November 16, 2023 23:29 2m 25s
Adding lifted lattice solver Run Examples #143: Pull request #114 synchronize by yousifpatti
November 16, 2023 05:18 2m 27s yousif-memory-region-analysis
yousif-memory-region-analysis
November 16, 2023 05:18 2m 27s
Adding lifted lattice solver Run Examples #142: Pull request #114 synchronize by yousifpatti
November 14, 2023 05:09 2m 25s yousif-memory-region-analysis
yousif-memory-region-analysis
November 14, 2023 05:09 2m 25s
Adding lifted lattice solver Run Examples #141: Pull request #114 synchronize by yousifpatti
November 14, 2023 05:03 2m 24s yousif-memory-region-analysis
yousif-memory-region-analysis
November 14, 2023 05:03 2m 24s
Make Exprs Immutable Run Examples #140: Pull request #142 opened by l-kent
November 14, 2023 04:01 4m 15s immutable-expr
immutable-expr
November 14, 2023 04:01 4m 15s
Merge pull request #140 from UQ-PAC/indirect-calls-nondet Run Examples #139: Commit 87b911e pushed by l-kent
November 14, 2023 02:41 4m 25s main
main
November 14, 2023 02:41 4m 25s
Boogie-Style IR Control Flow Run Examples #138: Pull request #140 synchronize by l-kent
November 14, 2023 02:25 2m 23s indirect-calls-nondet
indirect-calls-nondet
November 14, 2023 02:25 2m 23s
Il cfg iterator Run Examples #137: Pull request #141 opened by ailrst
November 14, 2023 01:32 2m 35s il-cfg-iterator
il-cfg-iterator
November 14, 2023 01:32 2m 35s
Boogie-Style IR Control Flow Run Examples #136: Pull request #140 synchronize by l-kent
November 13, 2023 06:21 2m 24s indirect-calls-nondet
indirect-calls-nondet
November 13, 2023 06:21 2m 24s
Boogie-Style IR Control Flow Run Examples #135: Pull request #140 synchronize by l-kent
November 13, 2023 00:45 4m 9s indirect-calls-nondet
indirect-calls-nondet
November 13, 2023 00:45 4m 9s
Boogie-Style IR Control Flow Run Examples #134: Pull request #140 synchronize by l-kent
November 13, 2023 00:33 4m 12s indirect-calls-nondet
indirect-calls-nondet
November 13, 2023 00:33 4m 12s
Basil 138 program generator Run Examples #133: Pull request #139 opened by ziggyfish
November 11, 2023 10:03 2m 31s BASIL-138-Program-generator
BASIL-138-Program-generator
November 11, 2023 10:03 2m 31s
Adding lifted lattice solver Run Examples #132: Pull request #114 synchronize by yousifpatti
November 7, 2023 02:27 1m 55s yousif-memory-region-analysis
yousif-memory-region-analysis
November 7, 2023 02:27 1m 55s
Merge branch 'zheng-ir-interpreter' Run Examples #131: Commit ccb7669 pushed by l-kent
November 7, 2023 01:12 3m 31s main
main
November 7, 2023 01:12 3m 31s
Use LinkedHashSet for worklist solver to improve performance Run Examples #130: Pull request #136 synchronize by ailrst
November 6, 2023 05:02 2m 26s worklist-perf
worklist-perf
November 6, 2023 05:02 2m 26s
Merge pull request #132 from UQ-PAC/indirect-calls-nondet Run Examples #129: Commit e63dcc1 pushed by l-kent
November 6, 2023 03:09 2m 33s main
main
November 6, 2023 03:09 2m 33s
Non-deterministic GoTos for indirect call resolution Run Examples #128: Pull request #132 synchronize by l-kent
November 6, 2023 01:14 3m 22s indirect-calls-nondet
indirect-calls-nondet
November 6, 2023 01:14 3m 22s
Use LinkedHashSet for worklist solver to improve performance Run Examples #127: Pull request #136 opened by ailrst
November 3, 2023 06:36 3m 21s worklist-perf
worklist-perf
November 3, 2023 06:36 3m 21s
ProTip! You can narrow down the results and go further in time using created:<2023-11-03 or the other filters available.