Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
3,592 workflow run results
3,592 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1599 from goblint/loopUnroll-casts-in-loopStatment locked #11971: Commit d120e34 pushed by sim642
October 15, 2024 17:47 7m 50s master
master
October 15, 2024 17:47 7m 50s
Improve loop bound detection for loop unrolling by handling casts in loop statements locked #11970: Pull request #1599 synchronize by karoliineh
October 15, 2024 13:21 26m 34s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 26m 34s
Refactor: Simplify pattern matching of casts by using Cil.stripCasts locked #11969: Commit 872b159 pushed by karoliineh
October 15, 2024 13:21 27m 24s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 27m 24s
Improve loop bound detection for loop unrolling by handling casts in loop statements locked #11968: Pull request #1599 opened by karoliineh
October 15, 2024 10:24 31m 40s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:24 31m 40s
Handle casts in loop statements for unrolling locked #11967: Commit f54ce55 pushed by karoliineh
October 15, 2024 10:15 24m 7s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:15 24m 7s
locked locked #11966: Scheduled
October 15, 2024 02:35 2h 9m 50s master
master
October 15, 2024 02:35 2h 9m 50s
Merge pull request #1598 from goblint/gas_fundec_needs_to_be_min locked #11965: Commit fa96209 pushed by michael-schwarz
October 14, 2024 19:27 26m 16s master
master
October 14, 2024 19:27 26m 16s
⛽: Use minimum to combine incoming gas values in per-context gas locked #11964: Pull request #1598 opened by michael-schwarz
October 14, 2024 11:12 19m 34s gas_fundec_needs_to_be_min
gas_fundec_needs_to_be_min
October 14, 2024 11:12 19m 34s
Fix per fundec gas locked #11963: Commit ce1866b pushed by michael-schwarz
October 14, 2024 11:07 26m 9s gas_fundec_needs_to_be_min
gas_fundec_needs_to_be_min
October 14, 2024 11:07 26m 9s
locked locked #11962: Scheduled
October 14, 2024 02:36 1h 58m 49s master
master
October 14, 2024 02:36 1h 58m 49s
locked locked #11961: Scheduled
October 13, 2024 02:37 2h 6m 32s master
master
October 13, 2024 02:37 2h 6m 32s
locked locked #11960: Scheduled
October 12, 2024 02:29 1h 44m 32s master
master
October 12, 2024 02:29 1h 44m 32s
Merge pull request #1597 from goblint/physical-equality locked #11959: Commit 425b1ee pushed by sim642
October 11, 2024 11:46 24m 5s master
master
October 11, 2024 11:46 24m 5s
Use ubuntu 22.04 in GitHub Actions locked #11958: Commit 412a7ab pushed by sim642
October 11, 2024 10:30 24m 37s master
master
October 11, 2024 10:30 24m 37s
Use ubuntu 22.04 in GitHub Actions locked #11957: Commit 6a2b432 pushed by sim642
October 11, 2024 09:17 21m 0s github-actions-ubuntu-22.04
github-actions-ubuntu-22.04
October 11, 2024 09:17 21m 0s
Replace most physical equality on immutable types locked #11956: Pull request #1597 synchronize by sim642
October 11, 2024 09:11 23s physical-equality
physical-equality
October 11, 2024 09:11 23s
Add parentheses to BoolDomain.leq-s to make precedence explicit locked #11955: Commit 8f5a891 pushed by sim642
October 11, 2024 09:11 25m 47s physical-equality
physical-equality
October 11, 2024 09:11 25m 47s
Merge pull request #1595 from goblint/no-unrolling-resource locked #11954: Commit cda9ec4 pushed by sim642
October 11, 2024 07:46 21m 12s master
master
October 11, 2024 07:46 21m 12s
Merge pull request #1590 from goblint/loopUnroll-loop-cond-vars locked #11953: Commit bf76679 pushed by sim642
October 11, 2024 07:37 21m 51s master
master
October 11, 2024 07:37 21m 51s
Replace most physical equality on immutable types locked #11952: Pull request #1597 opened by sim642
October 11, 2024 07:21 28m 26s physical-equality
physical-equality
October 11, 2024 07:21 28m 26s
Replace most physical equality on immutable types locked #11951: Commit 8214807 pushed by sim642
October 11, 2024 07:11 24m 40s physical-equality
physical-equality
October 11, 2024 07:11 24m 40s
locked locked #11950: Scheduled
October 11, 2024 02:32 2h 4m 52s master
master
October 11, 2024 02:32 2h 4m 52s
Remove restriction that no loop unrolling is done when breaks are in the loop locked #11949: Pull request #1518 synchronize by karoliineh
October 10, 2024 19:40 23m 11s loop-unroll-ignore-breaks
loop-unroll-ignore-breaks
October 10, 2024 19:40 23m 11s
Merge branch 'master' into loop-unroll-ignore-breaks locked #11948: Commit fa0f086 pushed by karoliineh
October 10, 2024 19:39 23m 56s loop-unroll-ignore-breaks
loop-unroll-ignore-breaks
October 10, 2024 19:39 23m 56s
Restrict unrolling to loops that are nested within less than 4 loops locked #11947: Pull request #1595 synchronize by karoliineh
October 10, 2024 10:11 22m 18s no-unrolling-resource
no-unrolling-resource
October 10, 2024 10:11 22m 18s