Skip to content

Actions: goblint/analyzer

Actions

metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
metadata.yml
11 workflow run results
11 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable pins for v2.3.0 release metadata #576: Commit dbd6479 pushed by sim642
November 24, 2023 21:18 18s v2.3.0
v2.3.0
November 24, 2023 21:18 18s
Replace goblint-cil pin with published 2.0.3 metadata #575: Commit ade7968 pushed by sim642
November 24, 2023 14:34 17s master
master
November 24, 2023 14:34 17s
Add ORCiD-s to metadata metadata #574: Commit 9f3fcac pushed by sim642
November 24, 2023 14:25 17s master
master
November 24, 2023 14:25 17s
Merge branch 'master' into svcomp24-dev metadata #573: Commit c2e9465 pushed by sim642
November 24, 2023 13:49 19s svcomp24
svcomp24
November 24, 2023 13:49 19s
Add get_unknownptrs and has_unknownptr and use remove_unknownptrs ins… metadata #572: Commit d5a81da pushed by karoliineh
November 21, 2023 10:13 34s unknown-origins
unknown-origins
November 21, 2023 10:13 34s
Merge branch 'master' into pldi-bench metadata #571: Commit f52baee pushed by sim642
November 17, 2023 12:25 20s pldi-bench
pldi-bench
November 17, 2023 12:25 20s
Merge branch 'master' into region-escape metadata #570: Commit d26f8fb pushed by sim642
November 17, 2023 10:29 20s region-escape
region-escape
November 17, 2023 10:29 20s
Termination: Update verdict to TODO for 78/35. metadata #569: Commit 2728c2a pushed by jerhard
November 14, 2023 09:23 21s termination_dev
termination_dev
November 14, 2023 09:23 21s
Make type of variables used for loop termination analysis more easily… metadata #568: Commit 704a8f1 pushed by jerhard
November 9, 2023 17:12 25s termination_dev
termination_dev
November 9, 2023 17:12 25s
Merge branch 'master' into issue_843 metadata #567: Commit 809e5a0 pushed by michael-schwarz
November 1, 2023 16:48 26s issue_843
issue_843
November 1, 2023 16:48 26s
Merge branch 'master' into svcomp24-conf metadata #566: Commit ebc8cf8 pushed by sim642
November 1, 2023 10:11 26s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 26s