Skip to content

Actions: diffblue/cbmc

Build and Test CBMC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,451 workflow runs
1,451 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
February 7, 2025 14:02 1h 2m 19s
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
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
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
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
February 7, 2025 12:41 1h 31m 59s
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
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
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
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
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
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
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
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
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
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
February 4, 2025 16:27 56m 55s