Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
1,781 workflow runs
1,781 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce floatbv_round_to_integral_exprt CodeQL #6858: Pull request #8538 synchronize by kroening
February 5, 2025 10:48 48m 13s round_to_integral
round_to_integral
February 5, 2025 10:48 48m 13s
Add IEEE 754 TiesToAway rounding mode CodeQL #6857: Pull request #8515 synchronize by kroening
February 5, 2025 10:43 34m 2s TiesToAway
TiesToAway
February 5, 2025 10:43 34m 2s
Merge pull request #8550 from diffblue/ieee_float_valuet CodeQL #6856: Commit af4e2e4 pushed by kroening
February 4, 2025 22:03 49m 51s develop
develop
February 4, 2025 22:03 49m 51s
Add IEEE 754 TiesToAway rounding mode CodeQL #6855: Pull request #8515 synchronize by kroening
February 4, 2025 21:30 1h 3m 23s TiesToAway
TiesToAway
February 4, 2025 21:30 1h 3m 23s
Merge pull request #8537 from diffblue/smt2-range-fix CodeQL #6854: Commit f2489e3 pushed by kroening
February 4, 2025 21:29 53m 10s develop
develop
February 4, 2025 21:29 53m 10s
Split ieee_floatt into ieee_float_valuet and ieee_floatt CodeQL #6853: Pull request #8550 synchronize by kroening
February 4, 2025 21:27 34m 48s ieee_float_valuet
ieee_float_valuet
February 4, 2025 21:27 34m 48s
Merge pull request #8580 from diffblue/floatbv-codeowners CodeQL #6852: Commit 3c4ffae pushed by kroening
February 4, 2025 21:25 49m 19s develop
develop
February 4, 2025 21:25 49m 19s
add @peterschrammel as code owner to /src/solvers/floatbv CodeQL #6851: Pull request #8580 synchronize by kroening
February 4, 2025 16:29 31m 15s floatbv-codeowners
floatbv-codeowners
February 4, 2025 16:29 31m 15s
add @peterschrammel as code owner to /src/solvers/floatbv CodeQL #6850: Pull request #8580 opened by kroening
February 4, 2025 16:27 30m 55s floatbv-codeowners
floatbv-codeowners
February 4, 2025 16:27 30m 55s
Field sensitivity: account for array size in all index expressions CodeQL #6849: Pull request #8579 opened by tautschnig
February 3, 2025 11:13 31m 10s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
February 3, 2025 11:13 31m 10s
Value-set based dereferencing must consider possible index expressions CodeQL #6848: Pull request #8578 synchronize by tautschnig
January 31, 2025 21:40 32m 31s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 21:40 32m 31s
Value-set based dereferencing must consider possible index expressions CodeQL #6847: Pull request #8578 synchronize by tautschnig
January 31, 2025 14:15 32m 35s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 14:15 32m 35s
Merge pull request #8577 from remi-delmas-3000/contracts-ptr-pred-ctx CodeQL #6846: Commit c66ffbe pushed by remi-delmas-3000
January 31, 2025 07:22 48m 53s develop
develop
January 31, 2025 07:22 48m 53s
CONTRACTS: ensure at most one predicate per pointer CodeQL #6845: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 05:14 30m 27s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 05:14 30m 27s
CONTRACTS: ensure at most one predicate per pointer CodeQL #6844: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 04:30 30m 41s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 04:30 30m 41s
Value-set based dereferencing must consider possible index expressions CodeQL #6843: Pull request #8578 opened by tautschnig
January 30, 2025 11:59 31m 42s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 30, 2025 11:59 31m 42s
Merge pull request #8576 from remi-delmas-3000/contracts-is-fresh-dem… CodeQL #6842: Commit 1cc4bc2 pushed by tautschnig
January 29, 2025 09:44 50m 47s develop
develop
January 29, 2025 09:44 50m 47s
Add IEEE 754 TiesToAway rounding mode CodeQL #6841: Pull request #8515 synchronize by kroening
January 26, 2025 16:51 48m 7s TiesToAway
TiesToAway
January 26, 2025 16:51 48m 7s
CONTRACTS: ensure at most one predicate per pointer CodeQL #6840: Pull request #8577 opened by remi-delmas-3000
January 25, 2025 21:55 46m 55s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 25, 2025 21:55 46m 55s
CONTRACTS: separation checks using nondet demonic variable CodeQL #6839: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:22 47m 27s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:22 47m 27s
CONTRACTS: separation checks using nondet demonic variable CodeQL #6838: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:20 48m 16s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:20 48m 16s
CONTRACTS: separation checks using nondet demonic variable CodeQL #6837: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 47m 38s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 47m 38s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks CodeQL #6836: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 50m 59s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 50m 59s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks CodeQL #6835: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 32m 23s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 32m 23s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks CodeQL #6834: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 31m 16s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 31m 16s