Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
1,091 workflow run results
1,091 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

locked locked #9569: Scheduled
January 14, 2024 02:11 2h 15m 45s master
master
January 14, 2024 02:11 2h 15m 45s
Merge branch 'master' into evalfun-ptranal locked #9568: Commit aada1c9 pushed by michael-schwarz
January 13, 2024 17:14 27m 36s evalfun-ptranal
evalfun-ptranal
January 13, 2024 17:14 27m 36s
Add CIL's ptranal for EvalFunvar queries locked #9567: Pull request #1063 synchronize by michael-schwarz
January 13, 2024 17:14 20m 24s evalfun-ptranal
evalfun-ptranal
January 13, 2024 17:14 20m 24s
Merge pull request #1327 from goblint/affeq_witnesses locked #9566: Commit c0c8960 pushed by michael-schwarz
January 13, 2024 15:40 20m 32s master
master
January 13, 2024 15:40 20m 32s
locked locked #9565: Scheduled
January 13, 2024 02:06 2h 2m 2s master
master
January 13, 2024 02:06 2h 2m 2s
affeq: Fix array OOB in invariant locked #9564: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 23m 24s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 23m 24s
Rm spurious parens locked #9563: Commit a521bdf pushed by michael-schwarz
January 12, 2024 16:02 29m 57s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 29m 57s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled locked #9562: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 25m 17s alloca
alloca
January 12, 2024 14:37 25m 17s
Revert "Consider alloca in special in memLeak" locked #9561: Commit 2c580b1 pushed by karoliineh
January 12, 2024 14:37 30m 1s alloca
alloca
January 12, 2024 14:37 30m 1s
Support for inline assembler & goto instructions in inline assembler locked #9560: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 14:20 12m 51s N0W0RK:master
N0W0RK:master
January 12, 2024 14:20 12m 51s
affeq: Fix array OOB in invariant locked #9559: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 13:14 32m 12s affeq_witnesses
affeq_witnesses
January 12, 2024 13:14 32m 12s
Remark on issue with fractional coefficients locked #9558: Commit ca18e35 pushed by michael-schwarz
January 12, 2024 13:14 29m 36s affeq_witnesses
affeq_witnesses
January 12, 2024 13:14 29m 36s
Support for inline assembler & goto instructions in inline assembler locked #9557: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 12:47 14m 11s N0W0RK:master
N0W0RK:master
January 12, 2024 12:47 14m 11s
affeq: Fix array OOB in invariant locked #9555: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 11:53 26m 13s affeq_witnesses
affeq_witnesses
January 12, 2024 11:53 26m 13s
Simplify locked #9554: Commit f99f320 pushed by michael-schwarz
January 12, 2024 11:53 31m 19s affeq_witnesses
affeq_witnesses
January 12, 2024 11:53 31m 19s
Linear Two-Variable Equalities Analysis locked #9551: Pull request #1297 synchronize by reb-ddm
January 12, 2024 10:05 32m 15s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 12, 2024 10:05 32m 15s
Linear Two-Variable Equalities Analysis locked #9550: Pull request #1297 synchronize by reb-ddm
January 12, 2024 09:59 32m 58s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 12, 2024 09:59 32m 58s
affeq: Fix array OOB in invariant locked #9549: Pull request #1327 opened by michael-schwarz
January 12, 2024 09:40 30m 13s affeq_witnesses
affeq_witnesses
January 12, 2024 09:40 30m 13s
affeq: Fix array OOB in invariant locked #9548: Commit 022a9bc pushed by michael-schwarz
January 12, 2024 09:38 30m 30s affeq_witnesses
affeq_witnesses
January 12, 2024 09:38 30m 30s
Merge pull request #1325 from goblint/dependabot/pip/docs/jinja2-3.1.3 locked #9547: Commit 6e79c1f pushed by sim642
January 12, 2024 09:35 20m 41s master
master
January 12, 2024 09:35 20m 41s
Merge pull request #1310 from goblint/unboxed locked #9546: Commit eade39e pushed by sim642
January 12, 2024 09:26 30m 4s master
master
January 12, 2024 09:26 30m 4s
Bump jinja2 from 3.0.3 to 3.1.3 in /docs locked #9545: Pull request #1325 synchronize by sim642
January 12, 2024 09:16 29m 53s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 12, 2024 09:16 29m 53s
Update mkdocs version locked #9544: Commit de8ee5e pushed by sim642
January 12, 2024 09:16 29m 58s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 12, 2024 09:16 29m 58s
locked locked #9543: Scheduled
January 12, 2024 02:08 2h 0m 42s master
master
January 12, 2024 02:08 2h 0m 42s
Bump jinja2 from 3.0.3 to 3.1.3 in /docs locked #9542: Pull request #1325 opened by dependabot bot
January 11, 2024 19:19 25m 37s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 11, 2024 19:19 25m 37s