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

Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9798: Pull request #1330 synchronize by FungOliver
February 1, 2024 23:12 21m 30s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 23:12 21m 30s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9797: Pull request #1330 synchronize by FungOliver
February 1, 2024 22:26 32m 5s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 22:26 32m 5s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9796: Pull request #1330 synchronize by FungOliver
February 1, 2024 22:03 28m 52s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 22:03 28m 52s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9795: Pull request #1330 synchronize by FungOliver
February 1, 2024 21:51 43m 35s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 21:51 43m 35s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9794: Pull request #1330 synchronize by FungOliver
February 1, 2024 20:28 10m 37s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 20:28 10m 37s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9793: Pull request #1330 synchronize by FungOliver
February 1, 2024 20:26 13m 21s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 20:26 13m 21s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9792: Pull request #1330 synchronize by FungOliver
February 1, 2024 20:25 10m 12s FungOliver:relationalArray
FungOliver:relationalArray
February 1, 2024 20:25 10m 12s
Towards fixing GobView search: Avoid truncation of very large integers locked #9791: Pull request #1092 synchronize by stilscher
February 1, 2024 18:16 22m 25s fix-gobview-search
fix-gobview-search
February 1, 2024 18:16 22m 25s
add comment locked #9790: Commit 7bd3b4f pushed by stilscher
February 1, 2024 18:16 37m 37s fix-gobview-search
fix-gobview-search
February 1, 2024 18:16 37m 37s
Merge branch 'master' into fix-gobview-search locked #9789: Commit 2892b8a pushed by stilscher
February 1, 2024 18:14 38m 32s fix-gobview-search
fix-gobview-search
February 1, 2024 18:14 38m 32s
Towards fixing GobView search: Avoid truncation of very large integers locked #9788: Pull request #1092 synchronize by stilscher
February 1, 2024 18:14 21m 35s fix-gobview-search
fix-gobview-search
February 1, 2024 18:14 21m 35s
More precise abstractions of trigonometric functions using c-stubs locked #9787: Pull request #1277 synchronize by stilscher
February 1, 2024 17:55 20m 56s FelixKrayer:math_funeval
FelixKrayer:math_funeval
February 1, 2024 17:55 20m 56s
implement sinus function as shift of cosinus locked #9786: Commit ae732f1 pushed by stilscher
February 1, 2024 17:55 16m 45s math_funeval
math_funeval
February 1, 2024 17:55 16m 45s
Linear Two-Variable Equalities Analysis locked #9785: Pull request #1297 synchronize by alina-weber
February 1, 2024 17:14 24m 13s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 17:14 24m 13s
fix get_ikind invalid argument error locked #9784: Commit 34b2667 pushed by stilscher
February 1, 2024 17:06 24m 32s fix-gobview-issue-38
fix-gobview-issue-38
February 1, 2024 17:06 24m 32s
Linear Two-Variable Equalities Analysis locked #9783: Pull request #1297 synchronize by alina-weber
February 1, 2024 14:36 38m 0s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 14:36 38m 0s
Linear Two-Variable Equalities Analysis locked #9782: Pull request #1297 synchronize by reb-ddm
February 1, 2024 14:25 21m 16s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 14:25 21m 16s
Linear Two-Variable Equalities Analysis locked #9781: Pull request #1297 synchronize by alina-weber
February 1, 2024 14:08 22m 11s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 14:08 22m 11s
Linear Two-Variable Equalities Analysis locked #9780: Pull request #1297 synchronize by reb-ddm
February 1, 2024 14:05 25m 50s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 14:05 25m 50s
Linear Two-Variable Equalities Analysis locked #9779: Pull request #1297 synchronize by reb-ddm
February 1, 2024 14:00 22m 56s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 14:00 22m 56s
Linear Two-Variable Equalities Analysis locked #9778: Pull request #1297 synchronize by reb-ddm
February 1, 2024 13:53 24m 36s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 13:53 24m 36s
Remove intermediate module definition in AffineEqualityAnalysis locked #9777: Pull request #1349 synchronize by jerhard
February 1, 2024 12:55 21m 22s apron_cleanup
apron_cleanup
February 1, 2024 12:55 21m 22s
Avoid intermediate definition of module in ApronAnalysis. locked #9776: Commit eb1ad54 pushed by jerhard
February 1, 2024 12:55 35m 51s apron_cleanup
apron_cleanup
February 1, 2024 12:55 35m 51s
Linear Two-Variable Equalities Analysis locked #9775: Pull request #1297 synchronize by alina-weber
February 1, 2024 12:09 22m 47s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 1, 2024 12:09 22m 47s
Remove intermediate module definition in AffineEqualityAnalysis locked #9774: Pull request #1349 opened by jerhard
February 1, 2024 10:50 20m 4s apron_cleanup
apron_cleanup
February 1, 2024 10:50 20m 4s