Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
761 workflow run results
761 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use Z module directly indentation #9187: Pull request #1329 synchronize by karoliineh
January 15, 2024 22:31 5m 18s z-module
z-module
January 15, 2024 22:31 5m 18s
Revert "Replace BigInt.shift_right with Z.shift_right" indentation #9186: Commit 70871ef pushed by karoliineh
January 15, 2024 22:31 4m 24s z-module
z-module
January 15, 2024 22:31 4m 24s
Use Z module directly indentation #9185: Pull request #1329 synchronize by karoliineh
January 15, 2024 22:30 3m 3s z-module
z-module
January 15, 2024 22:30 3m 3s
Replace BigInt.shift_right with Z.shift_right indentation #9184: Commit 68dc189 pushed by karoliineh
January 15, 2024 22:30 2m 49s z-module
z-module
January 15, 2024 22:30 2m 49s
Use Z module directly indentation #9183: Pull request #1329 synchronize by karoliineh
January 15, 2024 22:29 2m 58s z-module
z-module
January 15, 2024 22:29 2m 58s
Replace BigInt.shift_right with Z.shift_right indentation #9182: Commit b5e883b pushed by karoliineh
January 15, 2024 22:29 3m 24s z-module
z-module
January 15, 2024 22:29 3m 24s
Use Z module directly indentation #9181: Pull request #1329 synchronize by karoliineh
January 15, 2024 19:15 3m 1s z-module
z-module
January 15, 2024 19:15 3m 1s
Define bitnot as Z.lognot in BigIntOpsBase indentation #9180: Commit 35d8cd7 pushed by karoliineh
January 15, 2024 19:14 2m 58s z-module
z-module
January 15, 2024 19:14 2m 58s
Use Z module directly indentation #9179: Pull request #1329 synchronize by karoliineh
January 15, 2024 13:22 3m 11s z-module
z-module
January 15, 2024 13:22 3m 11s
Address semgrep findings indentation #9178: Commit d627cdc pushed by karoliineh
January 15, 2024 13:22 2m 56s z-module
z-module
January 15, 2024 13:22 2m 56s
Use Z module directly indentation #9177: Pull request #1329 opened by karoliineh
January 15, 2024 13:09 3s z-module
z-module
January 15, 2024 13:09 3s
Remove Ints_t from Congurence and use Z directly indentation #9176: Commit f6e991c pushed by karoliineh
January 15, 2024 13:08 3s z-module
z-module
January 15, 2024 13:08 3s
Support for inline assembler & goto instructions in inline assembler indentation #9175: Pull request #1326 synchronize by WernerDrasche
January 15, 2024 11:38 3m 9s N0W0RK:master
N0W0RK:master
January 15, 2024 11:38 3m 9s
Linear Two-Variable Equalities Analysis indentation #9174: Pull request #1297 synchronize by reb-ddm
January 15, 2024 10:22 2m 56s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 15, 2024 10:22 2m 56s
Linear Two-Variable Equalities Analysis indentation #9173: Pull request #1297 synchronize by reb-ddm
January 15, 2024 10:21 3m 14s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 15, 2024 10:21 3m 14s
Linear Two-Variable Equalities Analysis indentation #9172: Pull request #1297 synchronize by reb-ddm
January 15, 2024 09:57 3m 8s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 15, 2024 09:57 3m 8s
Linear Two-Variable Equalities Analysis indentation #9171: Pull request #1297 synchronize by reb-ddm
January 15, 2024 08:56 3m 4s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 15, 2024 08:56 3m 4s
Merge branch 'master' into evalfun-ptranal indentation #9169: Commit aada1c9 pushed by michael-schwarz
January 13, 2024 17:14 3m 39s evalfun-ptranal
evalfun-ptranal
January 13, 2024 17:14 3m 39s
Add CIL's ptranal for EvalFunvar queries indentation #9168: Pull request #1063 synchronize by michael-schwarz
January 13, 2024 17:14 3m 21s evalfun-ptranal
evalfun-ptranal
January 13, 2024 17:14 3m 21s
Merge pull request #1327 from goblint/affeq_witnesses indentation #9167: Commit c0c8960 pushed by michael-schwarz
January 13, 2024 15:40 3m 11s master
master
January 13, 2024 15:40 3m 11s
affeq: Fix array OOB in invariant indentation #9166: Pull request #1327 synchronize by michael-schwarz
January 12, 2024 16:02 3m 17s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 3m 17s
Rm spurious parens indentation #9165: Commit a521bdf pushed by michael-schwarz
January 12, 2024 16:02 3m 40s affeq_witnesses
affeq_witnesses
January 12, 2024 16:02 3m 40s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled indentation #9164: Pull request #1324 synchronize by karoliineh
January 12, 2024 14:37 3m 20s alloca
alloca
January 12, 2024 14:37 3m 20s
Revert "Consider alloca in special in memLeak" indentation #9163: Commit 2c580b1 pushed by karoliineh
January 12, 2024 14:37 3m 11s alloca
alloca
January 12, 2024 14:37 3m 11s
Support for inline assembler & goto instructions in inline assembler indentation #9162: Pull request #1326 synchronize by WernerDrasche
January 12, 2024 14:20 2m 54s N0W0RK:master
N0W0RK:master
January 12, 2024 14:20 2m 54s