Skip to content

Actions: diffblue/cbmc

Actions

Build and Test CBMC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-checks.yaml
1,451 workflow runs
1,451 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Value-set based dereferencing: fix simplified handling of *(p + i) Build and Test CBMC #10883: Pull request #8578 synchronize by tautschnig
February 9, 2025 22:47 1h 35m 15s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
February 9, 2025 22:47 1h 35m 15s
Simplify typecast of zero-extension to just a typecast Build and Test CBMC #10882: Pull request #8586 synchronize by tautschnig
February 9, 2025 22:46 45m 58s tautschnig:simp-zero-extend
tautschnig:simp-zero-extend
February 9, 2025 22:46 45m 58s
Fix filename completion in bash autocompletion Build and Test CBMC #10881: Pull request #8587 opened by tautschnig
February 9, 2025 22:45 45m 33s tautschnig:fix-bash-completion
tautschnig:fix-bash-completion
February 9, 2025 22:45 45m 33s
Add aarch64 (Arm 64-bit) CI job Build and Test CBMC #10880: Pull request #8572 synchronize by tautschnig
February 9, 2025 07:32 1h 34m 36s tautschnig:arm-ci
tautschnig:arm-ci
February 9, 2025 07:32 1h 34m 36s
Simplify typecast of zero-extension to just a typecast Build and Test CBMC #10879: Pull request #8586 opened by tautschnig
February 9, 2025 07:31 55m 36s tautschnig:simp-zero-extend
tautschnig:simp-zero-extend
February 9, 2025 07:31 55m 36s
Upgrade CVC5 in CI to 1.2.0 Build and Test CBMC #10878: Pull request #8585 opened by tautschnig
February 9, 2025 07:30 59m 42s tautschnig:cvc5-1.2.0
tautschnig:cvc5-1.2.0
February 9, 2025 07:30 59m 42s
Add aarch64 (Arm 64-bit) CI job Build and Test CBMC #10877: Pull request #8572 synchronize by tautschnig
February 9, 2025 07:29 46m 52s tautschnig:arm-ci
tautschnig:arm-ci
February 9, 2025 07:29 46m 52s
Consistently use unsigned/size_t in big-int [blocks: #2310] Build and Test CBMC #10875: Pull request #2452 synchronize by tautschnig
February 7, 2025 14:02 1h 2m 19s tautschnig:vs-big-int
tautschnig:vs-big-int
February 7, 2025 14:02 1h 2m 19s
Fix various type conversion and deprecation warnings reported by Visual studio Build and Test CBMC #10874: Pull request #2310 synchronize by tautschnig
February 7, 2025 13:58 23m 14s tautschnig:visual-studio-warnings
tautschnig:visual-studio-warnings
February 7, 2025 13:58 23m 14s
Cleanup type conversions in java_bytecode_parsert::read Build and Test CBMC #10873: Pull request #8584 synchronize by tautschnig
February 7, 2025 13:48 1h 14m 16s tautschnig:signed-read
tautschnig:signed-read
February 7, 2025 13:48 1h 14m 16s
Cleanup type conversions in java_bytecode_parsert::read Build and Test CBMC #10872: Pull request #8584 synchronize by tautschnig
February 7, 2025 13:26 36m 54s tautschnig:signed-read
tautschnig:signed-read
February 7, 2025 13:26 36m 54s
Cleanup type conversions in java_bytecode_parsert::read Build and Test CBMC #10871: Pull request #8584 opened by tautschnig
February 7, 2025 13:02 24m 27s tautschnig:signed-read
tautschnig:signed-read
February 7, 2025 13:02 24m 27s
Remove unused {c,java}_qualifierst::count Build and Test CBMC #10870: Pull request #8583 opened by tautschnig
February 7, 2025 12:41 1h 31m 59s tautschnig:remove-count
tautschnig:remove-count
February 7, 2025 12:41 1h 31m 59s
Fix various type conversion and deprecation warnings reported by Visual studio Build and Test CBMC #10869: Pull request #2310 synchronize by tautschnig
February 7, 2025 12:32 24m 3s tautschnig:visual-studio-warnings
tautschnig:visual-studio-warnings
February 7, 2025 12:32 24m 3s
Fix various type conversion and deprecation warnings reported by Visual studio Build and Test CBMC #10868: Pull request #2310 synchronize by tautschnig
February 7, 2025 12:31 23m 27s tautschnig:visual-studio-warnings
tautschnig:visual-studio-warnings
February 7, 2025 12:31 23m 27s
Merge pull request #8563 from tautschnig/miniz-update Build and Test CBMC #10867: Commit 66004dc pushed by tautschnig
February 6, 2025 15:15 58m 46s develop
develop
February 6, 2025 15:15 58m 46s
Introduce floatbv_round_to_integral_exprt Build and Test CBMC #10866: Pull request #8538 synchronize by kroening
February 5, 2025 10:48 1h 21m 34s round_to_integral
round_to_integral
February 5, 2025 10:48 1h 21m 34s
Add IEEE 754 TiesToAway rounding mode Build and Test CBMC #10865: Pull request #8515 synchronize by kroening
February 5, 2025 10:43 1h 8m 41s TiesToAway
TiesToAway
February 5, 2025 10:43 1h 8m 41s
Merge pull request #8550 from diffblue/ieee_float_valuet Build and Test CBMC #10864: Commit af4e2e4 pushed by kroening
February 4, 2025 22:03 1h 24m 13s develop
develop
February 4, 2025 22:03 1h 24m 13s
Add IEEE 754 TiesToAway rounding mode Build and Test CBMC #10863: Pull request #8515 synchronize by kroening
February 4, 2025 21:30 1h 43m 57s TiesToAway
TiesToAway
February 4, 2025 21:30 1h 43m 57s
Merge pull request #8537 from diffblue/smt2-range-fix Build and Test CBMC #10862: Commit f2489e3 pushed by kroening
February 4, 2025 21:29 1h 47m 0s develop
develop
February 4, 2025 21:29 1h 47m 0s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test CBMC #10861: Pull request #8550 synchronize by kroening
February 4, 2025 21:27 1h 0m 11s ieee_float_valuet
ieee_float_valuet
February 4, 2025 21:27 1h 0m 11s
Merge pull request #8580 from diffblue/floatbv-codeowners Build and Test CBMC #10860: Commit 3c4ffae pushed by kroening
February 4, 2025 21:25 33m 31s develop
develop
February 4, 2025 21:25 33m 31s
add @peterschrammel as code owner to /src/solvers/floatbv Build and Test CBMC #10859: Pull request #8580 synchronize by kroening
February 4, 2025 16:29 1h 40m 9s floatbv-codeowners
floatbv-codeowners
February 4, 2025 16:29 1h 40m 9s
add @peterschrammel as code owner to /src/solvers/floatbv Build and Test CBMC #10858: Pull request #8580 opened by kroening
February 4, 2025 16:27 56m 55s floatbv-codeowners
floatbv-codeowners
February 4, 2025 16:27 56m 55s