Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
513 workflow run results
513 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

locked locked #9256: Scheduled
December 10, 2023 02:09 2h 0m 50s master
master
December 10, 2023 02:09 2h 0m 50s
locked locked #9255: Scheduled
December 9, 2023 02:03 1h 53m 11s master
master
December 9, 2023 02:03 1h 53m 11s
Port 16 more library functions locked #9254: Pull request #1289 opened by michael-schwarz
December 8, 2023 19:30 29m 27s library_cubed
library_cubed
December 8, 2023 19:30 29m 27s
Port 3 more specs locked #9253: Commit 80b4f82 pushed by michael-schwarz
December 8, 2023 19:27 34m 50s library_cubed
library_cubed
December 8, 2023 19:27 34m 50s
copy dist files to _dist directory locked #9252: Commit ed75229 pushed by stilscher
December 8, 2023 17:25 31m 29s improve-gobview-build
improve-gobview-build
December 8, 2023 17:25 31m 29s
Improve GobView build locked #9251: Pull request #1215 synchronize by stilscher
December 8, 2023 17:25 26m 30s improve-gobview-build
improve-gobview-build
December 8, 2023 17:25 26m 30s
Merge pull request #1224 from goblint/issue-392 locked #9250: Commit 18a9aac pushed by sim642
December 8, 2023 14:52 28m 20s master
master
December 8, 2023 14:52 28m 20s
Changes for Pull Request bench#85: Automatic Generation of Test Cases for Incremental Static Analysis locked #9249: Pull request #1096 synchronize by stilscher
December 8, 2023 13:43 27m 0s J2000A:master
J2000A:master
December 8, 2023 13:43 27m 0s
Modular analysis: Add two test cases for locals escaping. locked #9248: Commit 48291ad pushed by jerhard
December 8, 2023 10:11 32m 32s modular_function_summaries
modular_function_summaries
December 8, 2023 10:11 32m 32s
Modular Analysis: Initialize locals that are referenced like paramete… locked #9247: Commit d7175bf pushed by jerhard
December 8, 2023 09:27 31m 39s modular_function_summaries
modular_function_summaries
December 8, 2023 09:27 31m 39s
Fix indentation in goblint_domain locked #9246: Commit cb90811 pushed by sim642
December 8, 2023 08:57 27m 32s master
master
December 8, 2023 08:57 27m 32s
Add unknown thread ID locked #9245: Pull request #1224 synchronize by sim642
December 8, 2023 08:52 37m 27s issue-392
issue-392
December 8, 2023 08:52 37m 27s
Add TODO about shallow ThreadJoin invalidate locked #9244: Commit 54bcf60 pushed by sim642
December 8, 2023 08:52 32m 21s issue-392
issue-392
December 8, 2023 08:52 32m 21s
Merge pull request #1288 from goblint/goblint-dune-libs-2 locked #9243: Commit 5456999 pushed by sim642
December 8, 2023 08:48 38m 54s master
master
December 8, 2023 08:48 38m 54s
Organize more common modules into dune libraries locked #9242: Pull request #1288 synchronize by sim642
December 8, 2023 08:29 30m 3s goblint-dune-libs-2
goblint-dune-libs-2
December 8, 2023 08:29 30m 3s
Merge branch 'master' into goblint-dune-libs-2 locked #9241: Commit 1a95699 pushed by sim642
December 8, 2023 08:29 38m 39s goblint-dune-libs-2
goblint-dune-libs-2
December 8, 2023 08:29 38m 39s
Add TODOs (PR #1288) locked #9240: Commit fd0d9ff pushed by sim642
December 8, 2023 08:26 29m 7s goblint-dune-libs-2
goblint-dune-libs-2
December 8, 2023 08:26 29m 7s
Modular analysis: Simplify handling of index-offsets. locked #9239: Commit 6f2483b pushed by jerhard
December 8, 2023 08:12 31m 57s modular_function_summaries
modular_function_summaries
December 8, 2023 08:12 31m 57s
locked locked #9238: Scheduled
December 8, 2023 02:07 2h 13m 31s master
master
December 8, 2023 02:07 2h 13m 31s
More precise abstractions of trigonometric functions using c-stubs locked #9237: Pull request #1277 synchronize by FelixKrayer
December 7, 2023 22:18 29m 52s FelixKrayer:math_funeval
FelixKrayer:math_funeval
December 7, 2023 22:18 29m 52s
Add GobApron to goblint_lib.ml #1283 locked #9236: Commit c2e0e16 pushed by michael-schwarz
December 7, 2023 19:10 31m 9s master
master
December 7, 2023 19:10 31m 9s
Merge pull request #1283 from goblint/apron_libification locked #9235: Commit 6be8d60 pushed by michael-schwarz
December 7, 2023 16:53 27m 35s master
master
December 7, 2023 16:53 27m 35s
Simplify relational domains interface somewhat locked #9234: Pull request #1283 synchronize by michael-schwarz
December 7, 2023 16:24 30m 16s apron_libification
apron_libification
December 7, 2023 16:24 30m 16s
Switch GobApron.Var to Apron.Var locked #9233: Commit 129b9c3 pushed by michael-schwarz
December 7, 2023 16:24 40m 32s apron_libification
apron_libification
December 7, 2023 16:24 40m 32s
Directly use Apron.Var.t locked #9232: Commit 5f5c1c8 pushed by michael-schwarz
December 7, 2023 10:22 55m 11s apron_libification
apron_libification
December 7, 2023 10:22 55m 11s