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

Clean up some relational code. locked #9773: Commit 410cb62 pushed by jerhard
February 1, 2024 10:45 25m 32s apron_cleanup
apron_cleanup
February 1, 2024 10:45 25m 32s
locked locked #9771: Scheduled
February 1, 2024 02:03 2h 12m 4s master
master
February 1, 2024 02:03 2h 12m 4s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9770: Pull request #1330 synchronize by FungOliver
January 31, 2024 22:58 19m 54s FungOliver:relationalArray
FungOliver:relationalArray
January 31, 2024 22:58 19m 54s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9769: Pull request #1330 synchronize by FungOliver
January 31, 2024 22:13 19m 43s FungOliver:relationalArray
FungOliver:relationalArray
January 31, 2024 22:13 19m 43s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9767: Pull request #1330 synchronize by FungOliver
January 31, 2024 19:41 22m 25s FungOliver:relationalArray
FungOliver:relationalArray
January 31, 2024 19:41 22m 25s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9766: Pull request #1330 synchronize by FungOliver
January 31, 2024 19:30 33m 15s FungOliver:relationalArray
FungOliver:relationalArray
January 31, 2024 19:30 33m 15s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9765: Pull request #1330 synchronize by FungOliver
January 31, 2024 18:34 13m 32s FungOliver:relationalArray
FungOliver:relationalArray
January 31, 2024 18:34 13m 32s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9764: Pull request #1330 synchronize by FungOliver
January 31, 2024 18:25 11m 10s FungOliver:relationalArray
FungOliver:relationalArray
January 31, 2024 18:25 11m 10s
Merge branch 'master' into improve-trig locked #9763: Commit 7784521 pushed by stilscher
January 31, 2024 17:08 34m 23s improve-trig
improve-trig
January 31, 2024 17:08 34m 23s
Improve trigonometric abstractions locked #9762: Pull request #1272 synchronize by stilscher
January 31, 2024 17:08 24m 13s improve-trig
improve-trig
January 31, 2024 17:08 24m 13s
Linear Two-Variable Equalities Analysis locked #9761: Pull request #1297 synchronize by alina-weber
January 31, 2024 16:16 23m 11s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 31, 2024 16:16 23m 11s
Linear Two-Variable Equalities Analysis locked #9760: Pull request #1297 synchronize by reb-ddm
January 31, 2024 16:14 35m 55s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 31, 2024 16:14 35m 55s
Linear Two-Variable Equalities Analysis locked #9759: Pull request #1297 synchronize by reb-ddm
January 31, 2024 16:06 20m 42s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 31, 2024 16:06 20m 42s
Linear Two-Variable Equalities Analysis locked #9758: Pull request #1297 synchronize by reb-ddm
January 31, 2024 15:59 21m 20s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 31, 2024 15:59 21m 20s
locked locked #9757: Scheduled
January 31, 2024 01:59 2h 9m 2s master
master
January 31, 2024 01:59 2h 9m 2s
More precise abstractions of trigonometric functions using c-stubs locked #9756: Pull request #1277 synchronize by stilscher
January 30, 2024 18:03 23m 16s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 30, 2024 18:03 23m 16s
copy dist folder and promote executable with dune locked #9755: Commit 2a543f5 pushed by stilscher
January 30, 2024 17:42 32m 4s improve-gobview-build
improve-gobview-build
January 30, 2024 17:42 32m 4s
More precise abstractions of trigonometric functions using c-stubs locked #9754: Pull request #1277 synchronize by FelixKrayer
January 30, 2024 15:41 25m 47s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 30, 2024 15:41 25m 47s
More precise abstractions of trigonometric functions using c-stubs locked #9753: Pull request #1277 synchronize by stilscher
January 30, 2024 15:15 25m 9s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 30, 2024 15:15 25m 9s
More precise abstractions of trigonometric functions using c-stubs locked #9752: Pull request #1277 synchronize by stilscher
January 30, 2024 14:17 27m 59s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 30, 2024 14:17 27m 59s
More precise abstractions of trigonometric functions using c-stubs locked #9751: Pull request #1277 synchronize by stilscher
January 30, 2024 14:11 26m 4s FelixKrayer:math_funeval
FelixKrayer:math_funeval
January 30, 2024 14:11 26m 4s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) locked #9750: Pull request #1340 synchronize by SchiJoha
January 30, 2024 08:58 22m 23s SchiJoha:master
SchiJoha:master
January 30, 2024 08:58 22m 23s
locked locked #9748: Scheduled
January 30, 2024 01:59 2h 15m 50s master
master
January 30, 2024 01:59 2h 15m 50s
Add disjunctive completion of Apron domains locked #9747: Pull request #1339 synchronize by sim642
January 29, 2024 15:01 25m 55s priv-atomic-disjunctive
priv-atomic-disjunctive
January 29, 2024 15:01 25m 55s
Fix Apron disjunctive completion join environment locked #9746: Commit 4f195cc pushed by sim642
January 29, 2024 15:01 23m 4s priv-atomic-disjunctive
priv-atomic-disjunctive
January 29, 2024 15:01 23m 4s