Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
602 workflow run results
602 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add mutex_with_ghosts Freiburg example with variants locked #9268: Commit f47e596 pushed by sim642
December 13, 2023 11:09 26m 31s priv-atomic
priv-atomic
December 13, 2023 11:09 26m 31s
locked locked #9267: Scheduled
December 13, 2023 02:07 2h 9m 17s master
master
December 13, 2023 02:07 2h 9m 17s
Fix NULL byte domain indentation (PR #1076) locked #9266: Commit 6500d35 pushed by sim642
December 12, 2023 08:46 30m 54s master
master
December 12, 2023 08:46 30m 54s
Merge pull request #1076 from nathanschmidt/null-byte-arrayDomain locked #9265: Commit c90eb12 pushed by sim642
December 12, 2023 08:31 27m 22s master
master
December 12, 2023 08:31 27m 22s
locked locked #9264: Scheduled
December 12, 2023 02:07 1h 55m 0s master
master
December 12, 2023 02:07 1h 55m 0s
Change test back to check what it is supposed to check. locked #9263: Commit c4a71b2 pushed by jerhard
December 11, 2023 10:52 34m 4s modular_function_summaries
modular_function_summaries
December 11, 2023 10:52 34m 4s
Modular analysis: Analyze created threads non-modularly. locked #9262: Commit dc86b1b pushed by jerhard
December 11, 2023 10:48 26m 39s modular_function_summaries
modular_function_summaries
December 11, 2023 10:48 26m 39s
Remove debug printout. locked #9261: Commit 8705369 pushed by jerhard
December 11, 2023 10:33 28m 42s modular_function_summaries
modular_function_summaries
December 11, 2023 10:33 28m 42s
Remove unused rec flag. locked #9260: Commit d139cee pushed by jerhard
December 11, 2023 10:26 39m 57s modular_function_summaries
modular_function_summaries
December 11, 2023 10:26 39m 57s
Add option ana.modular.auto-funs to automatically detect which functi… locked #9259: Commit 15049dd pushed by jerhard
December 11, 2023 10:26 24m 15s modular_function_summaries
modular_function_summaries
December 11, 2023 10:26 24m 15s
Null Byte Array Domain locked #9258: Pull request #1076 synchronize by sim642
December 11, 2023 09:34 23m 43s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
December 11, 2023 09:34 23m 43s
locked locked #9257: Scheduled
December 11, 2023 02:07 1h 55m 6s master
master
December 11, 2023 02:07 1h 55m 6s
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