Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
446 workflow run results
446 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refer to benchmarking guide in README options #5985: Commit a3eaf9a pushed by sim642
September 12, 2023 10:39 28s benchmarking-docs
benchmarking-docs
September 12, 2023 10:39 28s
Merge pull request #1154 from goblint/issue_1153 options #5984: Commit 037e9ce pushed by michael-schwarz
September 12, 2023 07:53 8m 27s master
master
September 12, 2023 07:53 8m 27s
Use AddressDomain for MayPointTo and ReachableFrom queries options #5983: Pull request #1142 synchronize by karoliineh
September 12, 2023 07:51 4m 0s queries-ad
queries-ad
September 12, 2023 07:51 4m 0s
Merge branch 'master' into queries-ad options #5982: Commit 5583f04 pushed by karoliineh
September 12, 2023 07:51 1m 33s queries-ad
queries-ad
September 12, 2023 07:51 1m 33s
Merge pull request #1138 from goblint/libfuns-silver-searcher options #5981: Commit 834782e pushed by sim642
September 12, 2023 07:47 43s master
master
September 12, 2023 07:47 43s
Library functions that are used in the silver searcher including some from the pcre library options #5980: Pull request #1138 synchronize by sim642
September 12, 2023 07:47 24s libfuns-silver-searcher
libfuns-silver-searcher
September 12, 2023 07:47 24s
Merge branch 'master' into libfuns-silver-searcher options #5979: Commit 0bae7fd pushed by sim642
September 12, 2023 07:47 42s libfuns-silver-searcher
libfuns-silver-searcher
September 12, 2023 07:47 42s
Merge pull request #1136 from goblint/access-distr-outer options #5978: Commit 8c8fd28 pushed by sim642
September 12, 2023 07:45 27s master
master
September 12, 2023 07:45 27s
Fix Calloc indentation in base options #5977: Commit 70cd4e8 pushed by sim642
September 12, 2023 07:36 22s master
master
September 12, 2023 07:36 22s
Merge pull request #1157 from edwintorok/bounds options #5976: Commit e7aacc1 pushed by sim642
September 11, 2023 14:58 27s master
master
September 11, 2023 14:58 27s
Use AddressDomain for MayPointTo and ReachableFrom queries options #5975: Pull request #1142 synchronize by sim642
September 11, 2023 14:40 18s queries-ad
queries-ad
September 11, 2023 14:40 18s
Merge branch 'master' into queries-ad options #5974: Commit bb8a926 pushed by sim642
September 11, 2023 14:40 19s queries-ad
queries-ad
September 11, 2023 14:40 19s
Cherry-pick AddressDomain.filter from 224615f63b07448ba45afb79f42c2d8… options #5973: Commit 3e01426 pushed by sim642
September 11, 2023 14:30 21s queries-ad
queries-ad
September 11, 2023 14:30 21s
goblint: fix lower bound on yaml options #5972: Pull request #1157 opened by edwintorok
September 11, 2023 14:23 27s edwintorok:bounds
edwintorok:bounds
September 11, 2023 14:23 27s
Fix deprecated File.exists? in update_suite.rb options #5971: Commit 1128aba pushed by sim642
September 11, 2023 12:30 25s master
master
September 11, 2023 12:30 25s
Upgrade to OCaml 5.0 as default options #5970: Pull request #1137 synchronize by sim642
September 11, 2023 12:11 38s ocaml-5-apron
ocaml-5-apron
September 11, 2023 12:11 38s
Update Gobview to fix JS stubs on OCaml 5 options #5969: Commit 2213e5d pushed by sim642
September 11, 2023 12:11 30s ocaml-5-apron
ocaml-5-apron
September 11, 2023 12:11 30s
Add CHANGELOG for v2.2.0 options #5968: Commit f2b002d pushed by sim642
September 11, 2023 11:31 20s master
master
September 11, 2023 11:31 20s
Handle some special cases of bitand in invariant and Interval, DefExc, and Congruences options #5967: Pull request #1154 synchronize by michael-schwarz
September 11, 2023 10:52 30s issue_1153
issue_1153
September 11, 2023 10:52 30s
Add special case for &0 in the interval domain options #5966: Commit e40255b pushed by michael-schwarz
September 11, 2023 10:52 18s issue_1153
issue_1153
September 11, 2023 10:52 18s
fix: copying of files to GobView in projects with subdirectories options #5921: Pull request #1143 opened by sallto
August 28, 2023 14:53 17s sallto:master
sallto:master
August 28, 2023 14:53 17s
ProTip! You can narrow down the results and go further in time using created:<2023-08-28 or the other filters available.