Build and Test the Rust API

Workflow runs for Build and Test the Rust API

• Distinguish constant offsets into the same object when dereferencing

  requires action with the application:
  Build and Test the Rust API#6220:Pull request#9388openedbymelver
  melver:fix-value-set-deref-offset-guard

  Nov 3, 2026Action required
  More actions for workflow run 6220

• DFCC: renumber only the instrumented function

  requires action with the application:
  Build and Test the Rust API#6219:Pull request#9386openedbysrivatsansamraj
  srivatsansamraj:dfcc-renumber-instrumented-function

  Nov 3, 2026Action required
  More actions for workflow run 6219

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

  completed successfully:
  Build and Test the Rust API#6218:Pull request#8878synchronizebytautschnig
  tautschnig:cpp11-parser-rework-squashed

  Nov 2, 202627m 17s
  More actions for workflow run 6218

• Merge pull request #9384 from tautschnig/kiro/ci-coverage-cleanup

  completed successfully:
  Build and Test the Rust API#6217:Commita521901pushedbykroening
  develop

  Nov 2, 20261h 47m 31s
  More actions for workflow run 6217

• Merge pull request #9385 from tautschnig/kiro/ci-jbmc-lambda-numbering

  completed successfully:
  Build and Test the Rust API#6216:Commitf30db06pushedbytautschnig
  develop

  Nov 2, 20261h 50m 26s
  More actions for workflow run 6216

• Merge pull request #9382 from diffblue/ci-macos-26

  completed successfully:
  Build and Test the Rust API#6215:Commit8b877e3pushedbytautschnig
  develop

  Nov 2, 20261h 49m 52s
  More actions for workflow run 6215

• Fix Doxygen 1.15 warnings and run doxygen jobs on ubuntu-latest again

  completed successfully:
  Build and Test the Rust API#6214:Pull request#9383synchronizebytautschnig
  tautschnig:kiro/ci-doxygen-1.15

  Nov 2, 20262h 34m 27s
  More actions for workflow run 6214

• Doc: Do not put architectural pages into module_hidden

  completed successfully:
  Build and Test the Rust API#6213:Pull request#9375synchronizebymkannwischer
  mkannwischer:doc-fix-hidden-pages

  Nov 2, 202651m 33s
  More actions for workflow run 6213

• Fix Doxygen 1.15 warnings and run doxygen jobs on ubuntu-latest again

  completed successfully:
  Build and Test the Rust API#6212:Pull request#9383synchronizebytautschnig
  tautschnig:kiro/ci-doxygen-1.15

  Nov 2, 20262h 45m 7s
  More actions for workflow run 6212

• JBMC lambda1 test: do not depend on javac's lambda numbering

  completed successfully:
  Build and Test the Rust API#6211:Pull request#9385openedbytautschnig
  tautschnig:kiro/ci-jbmc-lambda-numbering

  Nov 2, 20262h 19m 10s
  More actions for workflow run 6211

• CI: only remove specific toolchains in the coverage job

  completed successfully:
  Build and Test the Rust API#6210:Pull request#9384openedbytautschnig
  tautschnig:kiro/ci-coverage-cleanup

  Nov 2, 202635m 47s
  More actions for workflow run 6210

• Fix Doxygen 1.15 warnings and run doxygen jobs on ubuntu-latest again

  completed successfully:
  Build and Test the Rust API#6209:Pull request#9383openedbytautschnig
  tautschnig:kiro/ci-doxygen-1.15

  Nov 2, 20261h 7m 55s
  More actions for workflow run 6209

• upgrade MacOS 14 to MacOS 26 runner

  completed successfully:
  Build and Test the Rust API#6208:Pull request#9382synchronizebytautschnig
  ci-macos-26

  Nov 2, 20263m 9s
  More actions for workflow run 6208

• Merge pull request #9381 from diffblue/fix-ci-ubuntu-latest

  completed successfully:
  Build and Test the Rust API#6207:Commitf45bca3pushedbytautschnig
  develop

  Nov 2, 20268m 5s
  More actions for workflow run 6207

• Fix CI by downgrading from ubuntu-latest

  completed successfully:
  Build and Test the Rust API#6206:Pull request#9381synchronizebykroening
  fix-ci-ubuntu-latest

  Oct 30, 20266m 24s
  More actions for workflow run 6206

• upgrade MacOS 14 to MacOS 26 runner

  completed successfully:
  Build and Test the Rust API#6205:Pull request#9382openedbykroening
  ci-macos-26

  Oct 30, 20262m 21s
  More actions for workflow run 6205

• Fix CI by downgrading from ubuntu-latest

  completed successfully:
  Build and Test the Rust API#6204:Pull request#9381synchronizebykroening
  fix-ci-ubuntu-latest

  Oct 30, 20262m 49s
  More actions for workflow run 6204

• Fix CI by downgrading from ubuntu-latest

  completed successfully:
  Build and Test the Rust API#6203:Pull request#9381openedbykroening
  fix-ci-ubuntu-latest

  Oct 30, 20267m 27s
  More actions for workflow run 6203

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

  failed:
  Build and Test the Rust API#6202:Pull request#8878synchronizebytautschnig
  tautschnig:cpp11-parser-rework-squashed

  Oct 30, 202610m 16s
  More actions for workflow run 6202

• Fix byte_update lowering for updates of symbolic size

  completed successfully:
  Build and Test the Rust API#6201:Pull request#9380openedbymelver
  melver:fix-byte-update-symbolic-size

  Oct 30, 20261m 27s
  More actions for workflow run 6201

• missing cstdint.h identified by alpine linux source build

  completed successfully:
  Build and Test the Rust API#6200:Pull request#9379openedbyneeraj9
  neeraj9:fix-missing-cstdint-alpine

  Oct 30, 20263m 32s
  More actions for workflow run 6200

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

  completed successfully:
  Build and Test the Rust API#6199:Pull request#9378openedbykroening
  include-what-you-use-cleanup

  Oct 29, 202618m 13s
  More actions for workflow run 6199

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

  completed successfully:
  Build and Test the Rust API#6198:Pull request#9377openedbykroening
  github-clang-format-job

  Oct 29, 202642m 14s
  More actions for workflow run 6198

• Doc: Do not put architectural pages into module_hidden

  completed successfully:
  Build and Test the Rust API#6197:Pull request#9375openedbymkannwischer
  mkannwischer:doc-fix-hidden-pages

  Oct 29, 20262m 24s
  More actions for workflow run 6197

• Merge pull request #9104 from diffblue/error_exceptiont

  completed successfully:
  Build and Test the Rust API#6196:Commit03bd072pushedbykroening
  develop

  Oct 28, 202616h 54m 15s
  More actions for workflow run 6196