Build and Test CBMC

Workflow runs for Build and Test CBMC

• Fix CI by downgrading from ubuntu-latest

  cancelled:
  Build and Test CBMC#13399:Pull request#9381synchronizebykroening
  fix-ci-ubuntu-latest

  Oct 30, 202655m 49s
  More actions for workflow run 13399

• upgrade MacOS 14 to MacOS 26 runner

  failed:
  Build and Test CBMC#13398:Pull request#9382openedbykroening
  ci-macos-26

  Oct 30, 202656m 49s
  More actions for workflow run 13398

• Fix CI by downgrading from ubuntu-latest

  cancelled:
  Build and Test CBMC#13397:Pull request#9381synchronizebykroening
  fix-ci-ubuntu-latest

  Oct 30, 202657m 57s
  More actions for workflow run 13397

• Fix CI by downgrading from ubuntu-latest

  cancelled:
  Build and Test CBMC#13396:Pull request#9381openedbykroening
  fix-ci-ubuntu-latest

  Oct 30, 202656m 34s
  More actions for workflow run 13396

• [Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements

  failed:
  Build and Test CBMC#13395:Pull request#8878synchronizebytautschnig
  tautschnig:cpp11-parser-rework-squashed

  Oct 30, 20261h 13m 53s
  More actions for workflow run 13395

• Fix byte_update lowering for updates of symbolic size

  failed:
  Build and Test CBMC#13394:Pull request#9380openedbymelver
  melver:fix-byte-update-symbolic-size

  Oct 30, 20261h 16m 34s
  More actions for workflow run 13394

• missing cstdint.h identified by alpine linux source build

  failed:
  Build and Test CBMC#13393:Pull request#9379openedbyneeraj9
  neeraj9:fix-missing-cstdint-alpine

  Oct 30, 20261h 42m 10s
  More actions for workflow run 13393

• re-baseline include-what-you-use after ubuntu-latest bump

  completed successfully:
  Build and Test CBMC#13392:Pull request#9378openedbykroening
  include-what-you-use-cleanup

  Oct 29, 20262h 39m 32s
  More actions for workflow run 13392

• downgrade check-clang-format CI job to ubuntu-22.04

  failed:
  Build and Test CBMC#13391:Pull request#9377openedbykroening
  github-clang-format-job

  Oct 29, 20262h 15m 27s
  More actions for workflow run 13391

• Doc: Do not put architectural pages into module_hidden

  failed:
  Build and Test CBMC#13390:Pull request#9375openedbymkannwischer
  mkannwischer:doc-fix-hidden-pages

  Oct 29, 20261h 28m 0s
  More actions for workflow run 13390

• Merge pull request #9104 from diffblue/error_exceptiont

  failed:
  Build and Test CBMC#13389:Commit03bd072pushedbykroening
  develop

  Oct 28, 202618h 5m 19s
  More actions for workflow run 13389

• SMT2: parse values of bit-fields

  failed:
  Build and Test CBMC#13388:Pull request#9278synchronizebytautschnig
  tautschnig:kiro/rr-2-16-smt2-parse-bitfield

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13388

• Goto conversion: convert __builtin_isgreater and friends to expressions

  failed:
  Build and Test CBMC#13387:Pull request#9280synchronizebytautschnig
  tautschnig:kiro/rr-2-18-isgreater-crash

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13387

• C library: pthread_rwlock_unlock must accept write locks

  failed:
  Build and Test CBMC#13386:Pull request#9273synchronizebytautschnig
  tautschnig:kiro/rr-2-08-rwlock-unlock

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13386

• Fill in hostent fields in gethostbyname/gethostbyaddr/gethostent

  failed:
  Build and Test CBMC#13385:Pull request#9254synchronizebytautschnig
  tautschnig:kiro/rr-1-13-gethostent

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13385

• Fix constant shift distances above INT_MAX in SAT backend

  failed:
  Build and Test CBMC#13384:Pull request#9281synchronizebytautschnig
  tautschnig:kiro/rr-2-21-boolbv-huge-shift

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13384

• Incremental SMT2: fix nested array address scaling

  failed:
  Build and Test CBMC#13383:Pull request#9284synchronizebytautschnig
  tautschnig:kiro/rr-2-33-incr-smt2-nested-array-addr

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13383

• Fix alignment of structs with unnamed bit-fields

  failed:
  Build and Test CBMC#13382:Pull request#9246synchronizebytautschnig
  tautschnig:kiro/rr-1-05-unnamed-bitfield-alignment

  Oct 28, 20263h 50m 37s
  More actions for workflow run 13382

• C library: pthread_rwlock_rdlock must allow concurrent readers

  failed:
  Build and Test CBMC#13381:Pull request#9257synchronizebytautschnig
  tautschnig:kiro/rr-1-17-rwlock-rdlock

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13381

• SMT2: fix extractbit with a non-constant index

  failed:
  Build and Test CBMC#13380:Pull request#9295synchronizebytautschnig
  tautschnig:kiro/rr-37-extractbit-index-cast

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13380

• Fix getopt model to advance optind after each option

  failed:
  Build and Test CBMC#13379:Pull request#9263synchronizebytautschnig
  tautschnig:kiro/rr-1-25-getopt

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13379

• Fix C11 call_once and thrd_create library models

  failed:
  Build and Test CBMC#13378:Pull request#9255synchronizebytautschnig
  tautschnig:kiro/rr-1-15-c11-call-once

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13378

• Incremental SMT2: fix shift extension for mismatched widths

  failed:
  Build and Test CBMC#13377:Pull request#9283synchronizebytautschnig
  tautschnig:kiro/rr-2-32-incr-smt2-shift-width

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13377

• C library: sqrt models must round correctly in all rounding modes

  failed:
  Build and Test CBMC#13376:Pull request#9244synchronizebytautschnig
  tautschnig:kiro/rr-1-02-sqrt-rne

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13376

• C library: strcpy/strcat overlap checks must compare byte ranges

  failed:
  Build and Test CBMC#13375:Pull request#9271synchronizebytautschnig
  tautschnig:kiro/rr-2-05-strcpy-overlap

  Oct 28, 20261d 0h 0m 2s
  More actions for workflow run 13375