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

Merge branch 'master' into priv-atomic locked #10016: Commit c0da7a7 pushed by sim642
February 15, 2024 11:39 28m 8s priv-atomic
priv-atomic
February 15, 2024 11:39 28m 8s
Add some hacky atomic privatizations locked #10015: Pull request #1216 synchronize by sim642
February 15, 2024 11:39 23m 32s priv-atomic
priv-atomic
February 15, 2024 11:39 23m 32s
Add context_to_yojson in messages locked #10014: Pull request #1365 opened by karoliineh
February 15, 2024 11:30 21m 58s contexts-in-server-requests
contexts-in-server-requests
February 15, 2024 11:30 21m 58s
Add context_to_yojson in messages locked #10013: Commit 5f1e272 pushed by karoliineh
February 15, 2024 11:02 38m 58s contexts-in-server-requests
contexts-in-server-requests
February 15, 2024 11:02 38m 58s
Modular: Check whether caller is modular when computing reachable set… locked #10012: Commit 90b1fc1 pushed by jerhard
February 15, 2024 10:28 33m 11s modular_function_summaries
modular_function_summaries
February 15, 2024 10:28 33m 11s
Modular: Fix handling of globals for new style of combine in Base. locked #10011: Commit adae595 pushed by jerhard
February 15, 2024 09:56 20m 53s modular_function_summaries
modular_function_summaries
February 15, 2024 09:56 20m 53s
Modular: Collect also addresses occuring in values in the written ana… locked #10010: Commit 04fe716 pushed by jerhard
February 15, 2024 09:26 47m 30s modular_function_summaries
modular_function_summaries
February 15, 2024 09:26 47m 30s
Remove redundant OCaml 5.0.0 case from unlocked CI locked #10009: Commit aec0d79 pushed by sim642
February 15, 2024 09:04 1h 9m 2s master
master
February 15, 2024 09:04 1h 9m 2s
Fix initializer locations locked #10008: Commit 854f47d pushed by sim642
February 15, 2024 08:40 1h 32m 44s fix-locations
fix-locations
February 15, 2024 08:40 1h 32m 44s
Add ez-conf-lib.1 conflict locked #10007: Commit c04c765 pushed by sim642
February 15, 2024 08:28 21m 37s ez-conf-lib-conflict
ez-conf-lib-conflict
February 15, 2024 08:28 21m 37s
Linear Two-Variable Equalities Analysis locked #10006: Pull request #1297 synchronize by DrMichaelPetter
February 15, 2024 07:41 26m 12s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 15, 2024 07:41 26m 12s
locked locked #10005: Scheduled
February 15, 2024 01:59 1h 32m 19s master
master
February 15, 2024 01:59 1h 32m 19s
Add expression location to return locked #10004: Commit c743366 pushed by sim642
February 14, 2024 15:19 48m 47s fix-locations
fix-locations
February 14, 2024 15:19 48m 47s
Small output readability improvements locked #10003: Pull request #1312 synchronize by karoliineh
February 14, 2024 11:55 32m 49s issue-1192
issue-1192
February 14, 2024 11:55 32m 49s
Merge branch 'master' into issue-1192 locked #10002: Commit f4d5a45 pushed by karoliineh
February 14, 2024 11:55 21m 55s issue-1192
issue-1192
February 14, 2024 11:55 21m 55s
Small output readability improvements locked #10001: Pull request #1312 synchronize by karoliineh
February 14, 2024 11:39 27m 8s issue-1192
issue-1192
February 14, 2024 11:39 27m 8s
Update dbg.full-output description in options.schema.json locked #10000: Commit 24b6664 pushed by karoliineh
February 14, 2024 11:39 21m 25s issue-1192
issue-1192
February 14, 2024 11:39 21m 25s
Small output readability improvements locked #9999: Pull request #1312 synchronize by karoliineh
February 14, 2024 11:38 20m 37s issue-1192
issue-1192
February 14, 2024 11:38 20m 37s
tID #top -> ⊤ and change cram tests accordingly locked #9998: Commit cfd6b0e pushed by karoliineh
February 14, 2024 11:38 33m 24s issue-1192
issue-1192
February 14, 2024 11:38 33m 24s
Add "Fix indentation in various non-legacy code" to .git-blame-ignore… locked #9997: Commit 24e33cc pushed by sim642
February 14, 2024 10:55 20m 6s master
master
February 14, 2024 10:55 20m 6s
Merge branch 'master' into issue-1192 locked #9996: Commit 0ad7f6f pushed by karoliineh
February 14, 2024 10:15 29m 51s issue-1192
issue-1192
February 14, 2024 10:15 29m 51s
Small output readability improvements locked #9995: Pull request #1312 synchronize by karoliineh
February 14, 2024 10:15 27m 5s issue-1192
issue-1192
February 14, 2024 10:15 27m 5s
Simplify show in threadIdDomain locked #9994: Commit a9d5358 pushed by karoliineh
February 14, 2024 10:07 19m 35s issue-1192
issue-1192
February 14, 2024 10:07 19m 35s
Modular analysis: Fix collect_graph algorithm. locked #9993: Commit 1db7abe pushed by jerhard
February 14, 2024 10:00 17m 41s modular_function_summaries
modular_function_summaries
February 14, 2024 10:00 17m 41s
Add cram tests for CFGs locked #9992: Pull request #1360 synchronize by sim642
February 14, 2024 08:28 30m 12s cfg-test
cfg-test
February 14, 2024 08:28 30m 12s