Actions: goblint/analyzer
Actions
238 workflow run results
238 workflow run results
%
sound by restricting cases where we return a constant
coverage
#433:
Pull request #1161
opened
by
michael-schwarz
AddressDomain
for MayPointTo
and ReachableFrom
queries
coverage
#432:
Pull request #1142
synchronize
by
karoliineh
AddressDomain
for MayPointTo
and ReachableFrom
queries
coverage
#429:
Pull request #1142
synchronize
by
karoliineh
the silver searcher
including some from the pcre
library
coverage
#428:
Pull request #1138
synchronize
by
sim642
AddressDomain
for MayPointTo
and ReachableFrom
queries
coverage
#426:
Pull request #1142
synchronize
by
sim642
bitand
in invariant
and Interval
, DefExc
, and Congruences
coverage
#423:
Pull request #1154
synchronize
by
michael-schwarz
ProTip!
You can narrow down the results and go further in time using created:<2023-08-28 or the other filters available.