Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
410 workflow run results
410 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use incr in CilCfg.countLoopsVisitor locked #9653: Commit 96a57a2 pushed by sim642
January 24, 2024 10:22 25m 52s master
master
January 24, 2024 10:22 25m 52s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9652: Pull request #1330 synchronize by FungOliver
January 24, 2024 03:11 1h 21m 23s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 03:11 1h 21m 23s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9651: Pull request #1330 synchronize by FungOliver
January 24, 2024 03:01 1h 36m 53s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 03:01 1h 36m 53s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9650: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:56 1h 32m 59s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:56 1h 32m 59s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9649: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:55 1h 37m 56s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:55 1h 37m 56s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9648: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:52 1h 31m 9s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:52 1h 31m 9s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9647: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:51 1h 28m 26s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:51 1h 28m 26s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9646: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:49 1h 32m 46s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:49 1h 32m 46s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9645: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:42 1h 40m 5s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:42 1h 40m 5s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9644: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:10 2h 7m 27s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:10 2h 7m 27s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9643: Pull request #1330 synchronize by FungOliver
January 24, 2024 02:09 2h 0m 47s FungOliver:relationalArray
FungOliver:relationalArray
January 24, 2024 02:09 2h 0m 47s
locked locked #9642: Scheduled
January 24, 2024 02:09 1h 53m 23s master
master
January 24, 2024 02:09 1h 53m 23s
Linear Two-Variable Equalities Analysis locked #9641: Pull request #1297 synchronize by jennieliangga
January 23, 2024 20:39 19m 26s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 23, 2024 20:39 19m 26s
Use List.concat_map in EvalAssert locked #9640: Commit b9e3905 pushed by sim642
January 23, 2024 15:30 24m 30s master
master
January 23, 2024 15:30 24m 30s
Add VMCAI '24 artifact description to docs locked #9639: Pull request #1332 opened by sim642
January 23, 2024 13:13 30m 0s unassume-artifact
unassume-artifact
January 23, 2024 13:13 30m 0s
Rewrite VMCAI24 artifact description intro locked #9638: Commit d57d3c1 pushed by sim642
January 23, 2024 12:26 21m 35s unassume-artifact
unassume-artifact
January 23, 2024 12:26 21m 35s
Fix lists in VMACI24 artifact description locked #9637: Commit 3625b67 pushed by sim642
January 23, 2024 11:51 21m 49s unassume-artifact
unassume-artifact
January 23, 2024 11:51 21m 49s
Remove redundant List.hd call locked #9635: Commit 3991fbd pushed by karoliineh
January 23, 2024 10:54 25m 50s z-module
z-module
January 23, 2024 10:54 25m 50s
Use Z module directly locked #9636: Pull request #1329 synchronize by karoliineh
January 23, 2024 10:54 30m 2s z-module
z-module
January 23, 2024 10:54 30m 2s
Use Z module directly locked #9634: Pull request #1329 synchronize by karoliineh
January 23, 2024 10:51 30m 3s z-module
z-module
January 23, 2024 10:51 30m 3s
Simplify same locked #9633: Commit 0417cf7 pushed by karoliineh
January 23, 2024 10:51 25m 10s z-module
z-module
January 23, 2024 10:51 25m 10s
Merge pull request #1063 from goblint/evalfun-ptranal locked #9632: Commit 591154f pushed by sim642
January 23, 2024 08:43 8m 44s master
master
January 23, 2024 08:43 8m 44s
locked locked #9631: Scheduled
January 23, 2024 02:09 2h 2m 18s master
master
January 23, 2024 02:09 2h 2m 18s
Support for inline assembler & goto instructions in inline assembler locked #9630: Pull request #1326 synchronize by N0W0RK
January 23, 2024 00:53 23m 44s N0W0RK:master
N0W0RK:master
January 23, 2024 00:53 23m 44s
Use Z module directly locked #9629: Pull request #1329 synchronize by karoliineh
January 22, 2024 16:58 25m 26s z-module
z-module
January 22, 2024 16:58 25m 26s
ProTip! You can narrow down the results and go further in time using created:<2024-01-22 or the other filters available.