Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
1,584 workflow run results
1,584 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update and add comments about log* functions locked #9720: Commit 67320d4 pushed by karoliineh
January 29, 2024 11:00 25m 41s z-module
z-module
January 29, 2024 11:00 25m 41s
rename log* -> c_log* locked #9718: Commit 018166e pushed by karoliineh
January 29, 2024 10:43 25m 29s z-module
z-module
January 29, 2024 10:43 25m 29s
Use Z module directly locked #9719: Pull request #1329 synchronize by karoliineh
January 29, 2024 10:43 21m 32s z-module
z-module
January 29, 2024 10:43 21m 32s
Apron: Only replace deref expression with pointed to variable if types coincide locked #9717: Pull request #1342 synchronize by jerhard
January 29, 2024 09:42 25m 8s isssue_1319
isssue_1319
January 29, 2024 09:42 25m 8s
Declare other() before calling it. locked #9716: Commit ae226c9 pushed by jerhard
January 29, 2024 09:42 22m 41s isssue_1319
isssue_1319
January 29, 2024 09:42 22m 41s
locked locked #9715: Scheduled
January 29, 2024 01:59 2h 6m 7s master
master
January 29, 2024 01:59 2h 6m 7s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9714: Pull request #1330 synchronize by FungOliver
January 28, 2024 23:06 15m 44s FungOliver:relationalArray
FungOliver:relationalArray
January 28, 2024 23:06 15m 44s
eval_rv_base: cast without torg when typeOf fails locked #9713: Pull request #1345 opened by michael-schwarz
January 28, 2024 18:41 21m 43s issue_1338
issue_1338
January 28, 2024 18:41 21m 43s
Indent locked #9712: Commit 1bb8d43 pushed by michael-schwarz
January 28, 2024 18:39 20m 7s issue_1338
issue_1338
January 28, 2024 18:39 20m 7s
eval_rv_base: cast without torg when typeOf fails locked #9711: Commit dfaa55b pushed by michael-schwarz
January 28, 2024 18:39 20m 39s issue_1338
issue_1338
January 28, 2024 18:39 20m 39s
Handle LNot for float in forward evaluation and refinement on guards locked #9710: Pull request #1344 opened by michael-schwarz
January 28, 2024 18:15 21m 19s issue_1211
issue_1211
January 28, 2024 18:15 21m 19s
Handle LNot for float in forward evaluation and refinement locked #9709: Commit 0cc39e2 pushed by michael-schwarz
January 28, 2024 18:13 19m 16s issue_1211
issue_1211
January 28, 2024 18:13 19m 16s
locked locked #9708: Scheduled
January 28, 2024 02:02 2h 22m 55s master
master
January 28, 2024 02:02 2h 22m 55s
Refine Points-To set on locking a mutex locked #9707: Pull request #1343 synchronize by michael-schwarz
January 27, 2024 22:45 19m 53s issue_1287
issue_1287
January 27, 2024 22:45 19m 53s
Add multithreaded example locked #9706: Commit 55dacde pushed by michael-schwarz
January 27, 2024 22:45 20m 32s issue_1287
issue_1287
January 27, 2024 22:45 20m 32s
Refine Points-To set on locking a mutex locked #9705: Pull request #1343 opened by michael-schwarz
January 27, 2024 22:39 31m 32s issue_1287
issue_1287
January 27, 2024 22:39 31m 32s
Refine Points-To set on locking a mutex locked #9704: Commit 880d59f pushed by michael-schwarz
January 27, 2024 22:37 30m 33s issue_1287
issue_1287
January 27, 2024 22:37 30m 33s
Apron: Only replace deref expression with pointed to variable if types coincide locked #9703: Pull request #1342 synchronize by michael-schwarz
January 27, 2024 22:03 19m 18s isssue_1319
isssue_1319
January 27, 2024 22:03 19m 18s
Use Cilfacade locked #9702: Commit ba0233f pushed by michael-schwarz
January 27, 2024 22:03 20m 22s isssue_1319
isssue_1319
January 27, 2024 22:03 20m 22s
Apron: Only replace deref expression with pointed to variable if types coincide locked #9701: Pull request #1342 opened by michael-schwarz
January 27, 2024 22:02 21m 9s isssue_1319
isssue_1319
January 27, 2024 22:02 21m 9s
Apron: Only replace deref expression with pointed to variable if type… locked #9700: Commit d55b0e0 pushed by michael-schwarz
January 27, 2024 21:59 19m 38s isssue_1319
isssue_1319
January 27, 2024 21:59 19m 38s
More precise abstractions of trigonometric functions using c-stubs locked #9699: Pull request #1277 synchronize by FelixKrayer
January 27, 2024 16:35 29m 32s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 27, 2024 16:35 29m 32s
More precise abstractions of trigonometric functions using c-stubs locked #9698: Pull request #1277 synchronize by FelixKrayer
January 27, 2024 15:37 29m 18s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 27, 2024 15:37 29m 18s
Float domain: Fix eval_comparison_binop locked #9697: Pull request #1341 opened by michael-schwarz
January 27, 2024 11:08 19m 17s issue_1333
issue_1333
January 27, 2024 11:08 19m 17s
Float domain: Fix eval_comparison_binop locked #9696: Commit 6400e57 pushed by michael-schwarz
January 27, 2024 11:03 19m 28s issue_1333
issue_1333
January 27, 2024 11:03 19m 28s