Skip to content

Actions: goblint/analyzer

Actions

metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
metadata.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C2PO: Make evaluation of last line of remove_terms_from_bldis more cl… metadata #612: Commit 0f9c8ac pushed by jerhard
February 17, 2025 13:20 14s c2po
c2po
February 17, 2025 13:20 14s
Fix offset handling when adding 0 to field offsets metadata #611: Commit d2840fb pushed by karoliineh
January 30, 2025 16:47 15s issue-1421
issue-1421
January 30, 2025 16:47 15s
Do not open Batteries when not needed metadata #610: Commit fe0608d pushed by karoliineh
January 22, 2025 14:01 21s enum-to-seq
enum-to-seq
January 22, 2025 14:01 21s
Merge branch 'master' into issue_1467 metadata #609: Commit 3fcb562 pushed by michael-schwarz
December 16, 2024 15:21 52s issue_1467
issue_1467
December 16, 2024 15:21 52s
Fix unused open in multilibConfigure metadata #608: Commit 7170d9a pushed by sim642
November 28, 2024 15:21 16s v2.5.0
v2.5.0
November 28, 2024 15:21 16s
Merge branch 'master' into svcomp25-dev metadata #607: Commit 5512d83 pushed by sim642
November 26, 2024 12:38 16s svcomp25
svcomp25
November 26, 2024 12:38 16s
Add value and format to ghost_instrumentation metadata #606: Commit 852297b pushed by sim642
November 26, 2024 09:03 20s vmcai25
vmcai25
November 26, 2024 09:03 20s
Merge branch 'master' into imaxabs metadata #605: Commit 85cbda6 pushed by sim642
October 16, 2024 13:12 17s imaxabs
imaxabs
October 16, 2024 13:12 17s
Remove unused checkNoBreak visitors metadata #604: Commit e656cc1 pushed by karoliineh
October 2, 2024 19:03 22s loop-unroll-ignore-breaks
loop-unroll-ignore-breaks
October 2, 2024 19:03 22s
Merge branch 'master' into loop-unrolling-bound-in-if-cond metadata #603: Commit ffc702a pushed by karoliineh
September 13, 2024 17:08 17s loop-unrolling-bound-in-if-cond
loop-unrolling-bound-in-if-cond
September 13, 2024 17:08 17s
Merge branch 'v2.4.x' metadata #602: Commit b129fab pushed by sim642
August 2, 2024 11:43 17s v2.4.0
v2.4.0
August 2, 2024 11:43 17s
Merge branch 'master' into yaml-witness-ghost metadata #601: Commit 1570adb pushed by sim642
July 31, 2024 08:16 28s yaml-witness-ghost
yaml-witness-ghost
July 31, 2024 08:16 28s
Merge branch 'master' into issue_1489 metadata #600: Commit 8f10b49 pushed by sim642
July 30, 2024 13:05 20s issue_1489
issue_1489
July 30, 2024 13:05 20s
Merge branch 'master' into opam-locked metadata #599: Commit a323664 pushed by sim642
July 24, 2024 08:00 21s opam-locked
opam-locked
July 24, 2024 08:00 21s
Vendor ppx_easy_deriving metadata #598: Commit d1272d7 pushed by sim642
July 18, 2024 17:07 17s ppx-lattice-easy
ppx-lattice-easy
July 18, 2024 17:07 17s
Add NOCHECK and another annotations metadata #597: Commit 5946abc pushed by sim642
July 16, 2024 15:40 17s cram-manual
cram-manual
July 16, 2024 15:40 17s
Merge branch 'master' into apron-compare-fix metadata #596: Commit 852a453 pushed by sim642
July 8, 2024 08:49 21s apron-compare-fix
apron-compare-fix
July 8, 2024 08:49 21s
Merge branch 'master' into yaml-witness-ghost-eval metadata #595: Commit c0f14bb pushed by sim642
July 5, 2024 11:47 22s yaml-witness-ghost-eval
yaml-witness-ghost-eval
July 5, 2024 11:47 22s
Merge branch 'master' into issue_1328 metadata #594: Commit 44e9549 pushed by DrMichaelPetter
July 2, 2024 12:13 26s issue_1328
issue_1328
July 2, 2024 12:13 26s
Add Karoliine to authors metadata #593: Commit 05397c5 pushed by karoliineh
June 25, 2024 12:22 19s master
master
June 25, 2024 12:22 19s
Add comment about widening delay transfer functions metadata #592: Commit dfcf67b pushed by sim642
June 7, 2024 10:11 21s delay-widening-fabian
delay-widening-fabian
June 7, 2024 10:11 21s
Fixes & Desiderata metadata #591: Commit 2e50f2b pushed by michael-schwarz
March 11, 2024 15:25 19s unsigned_lin2var
unsigned_lin2var
March 11, 2024 15:25 19s
Merge branch 'master' into fix-gobview-search metadata #590: Commit 2892b8a pushed by stilscher
February 1, 2024 18:14 18s fix-gobview-search
fix-gobview-search
February 1, 2024 18:14 18s
Merge branch 'master' into improve-trig metadata #589: Commit 7784521 pushed by stilscher
January 31, 2024 17:08 19s improve-trig
improve-trig
January 31, 2024 17:08 19s
Merge branch 'priv-atomic' into priv-atomic-disjunctive metadata #588: Commit 228a0a8 pushed by sim642
January 25, 2024 15:24 18s priv-atomic-disjunctive
priv-atomic-disjunctive
January 25, 2024 15:24 18s