Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
756 workflow run results
756 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into evalfun-ptranal options #7188: Commit aada1c9 pushed by michael-schwarz
January 13, 2024 17:14 18s evalfun-ptranal
evalfun-ptranal
January 13, 2024 17:14 18s
Add CIL's ptranal for EvalFunvar queries options #7187: Pull request #1063 synchronize by michael-schwarz
January 13, 2024 17:14 24s evalfun-ptranal
evalfun-ptranal
January 13, 2024 17:14 24s
Merge pull request #1327 from goblint/affeq_witnesses options #7186: Commit c0c8960 pushed by michael-schwarz
January 13, 2024 15:40 24s master
master
January 13, 2024 15:40 24s
Rm spurious parens options #7184: Commit a521bdf pushed by michael-schwarz
January 12, 2024 16:02 26s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 26s
affeq: Fix array OOB in invariant options #7185: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 24s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 24s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled options #7183: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 21s alloca
alloca
January 12, 2024 14:37 21s
Revert "Consider alloca in special in memLeak" options #7182: Commit 2c580b1 pushed by karoliineh
January 12, 2024 14:37 27s alloca
alloca
January 12, 2024 14:37 27s
Support for inline assembler & goto instructions in inline assembler options #7181: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 14:20 20s N0W0RK:master
N0W0RK:master
January 12, 2024 14:20 20s
affeq: Fix array OOB in invariant options #7180: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 13:14 24s affeq_witnesses
affeq_witnesses
January 12, 2024 13:14 24s
Remark on issue with fractional coefficients options #7179: Commit ca18e35 pushed by michael-schwarz
January 12, 2024 13:14 25s affeq_witnesses
affeq_witnesses
January 12, 2024 13:14 25s
Support for inline assembler & goto instructions in inline assembler options #7178: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 12:47 21s N0W0RK:master
N0W0RK:master
January 12, 2024 12:47 21s
affeq: Fix array OOB in invariant options #7176: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 11:53 21s affeq_witnesses
affeq_witnesses
January 12, 2024 11:53 21s
Simplify options #7175: Commit f99f320 pushed by michael-schwarz
January 12, 2024 11:53 26s affeq_witnesses
affeq_witnesses
January 12, 2024 11:53 26s
Linear Two-Variable Equalities Analysis options #7172: Pull request #1297 synchronize by reb-ddm
January 12, 2024 10:05 19s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 12, 2024 10:05 19s
Linear Two-Variable Equalities Analysis options #7171: Pull request #1297 synchronize by reb-ddm
January 12, 2024 09:59 22s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 12, 2024 09:59 22s
affeq: Fix array OOB in invariant options #7170: Pull request #1327 opened by michael-schwarz
January 12, 2024 09:40 23s affeq_witnesses
affeq_witnesses
January 12, 2024 09:40 23s
affeq: Fix array OOB in invariant options #7169: Commit 022a9bc pushed by michael-schwarz
January 12, 2024 09:38 21s affeq_witnesses
affeq_witnesses
January 12, 2024 09:38 21s
Merge pull request #1325 from goblint/dependabot/pip/docs/jinja2-3.1.3 options #7168: Commit 6e79c1f pushed by sim642
January 12, 2024 09:35 18s master
master
January 12, 2024 09:35 18s
Merge pull request #1310 from goblint/unboxed options #7167: Commit eade39e pushed by sim642
January 12, 2024 09:26 17s master
master
January 12, 2024 09:26 17s
Update mkdocs version options #7165: Commit de8ee5e pushed by sim642
January 12, 2024 09:16 21s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 12, 2024 09:16 21s
Bump jinja2 from 3.0.3 to 3.1.3 in /docs options #7166: Pull request #1325 synchronize by sim642
January 12, 2024 09:16 22s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 12, 2024 09:16 22s
Bump jinja2 from 3.0.3 to 3.1.3 in /docs options #7164: Pull request #1325 opened by dependabot bot
January 11, 2024 19:19 21s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 11, 2024 19:19 21s
Bump jinja2 from 3.0.3 to 3.1.3 in /docs options #7163: Commit 28d5ea2 pushed by dependabot bot
January 11, 2024 19:19 23s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 11, 2024 19:19 23s
Linear Two-Variable Equalities Analysis options #7162: Pull request #1297 synchronize by jennieliangga
January 11, 2024 19:00 22s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 19:00 22s
Unbox some types options #7161: Pull request #1310 synchronize by sim642
January 11, 2024 15:33 24s unboxed
unboxed
January 11, 2024 15:33 24s