Build and Test on *BSD

bsd.yaml

2100 workflow runs

Fix CI by downgrading from ubuntu-latest
completed successfully:
Build and Test on *BSD#4124:Pull request#9381synchronizebykroening
fix-ci-ubuntu-latest
Oct 30, 20269m 11s
upgrade MacOS 14 to MacOS 26 runner
completed successfully:
Build and Test on *BSD#4123:Pull request#9382openedbykroening
ci-macos-26
Oct 30, 20267m 5s
Fix CI by downgrading from ubuntu-latest
completed successfully:
Build and Test on *BSD#4122:Pull request#9381synchronizebykroening
fix-ci-ubuntu-latest
Oct 30, 20266m 25s
Fix CI by downgrading from ubuntu-latest
completed successfully:
Build and Test on *BSD#4121:Pull request#9381openedbykroening
fix-ci-ubuntu-latest
Oct 30, 202611m 11s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements
failed:
Build and Test on *BSD#4120:Pull request#8878synchronizebytautschnig
tautschnig:cpp11-parser-rework-squashed
Oct 30, 202632m 56s
Fix byte_update lowering for updates of symbolic size
completed successfully:
Build and Test on *BSD#4119:Pull request#9380openedbymelver
melver:fix-byte-update-symbolic-size
Oct 30, 20266m 18s
missing cstdint.h identified by alpine linux source build
completed successfully:
Build and Test on *BSD#4118:Pull request#9379openedbyneeraj9
neeraj9:fix-missing-cstdint-alpine
Oct 30, 20266m 50s
re-baseline include-what-you-use after ubuntu-latest bump
completed successfully:
Build and Test on *BSD#4117:Pull request#9378openedbykroening
include-what-you-use-cleanup
Oct 29, 20268m 31s
downgrade check-clang-format CI job to ubuntu-22.04
completed successfully:
Build and Test on *BSD#4116:Pull request#9377openedbykroening
github-clang-format-job
Oct 29, 20267m 5s
Doc: Do not put architectural pages into module_hidden
completed successfully:
Build and Test on *BSD#4115:Pull request#9375openedbymkannwischer
mkannwischer:doc-fix-hidden-pages
Oct 29, 20266m 44s
Merge pull request #9104 from diffblue/error_exceptiont
completed successfully:
Build and Test on *BSD#4114:Commit03bd072pushedbykroening
develop
Oct 28, 20265h 24m 8s
SMT2: parse values of bit-fields
completed successfully:
Build and Test on *BSD#4113:Pull request#9278synchronizebytautschnig
tautschnig:kiro/rr-2-16-smt2-parse-bitfield
Oct 28, 202613h 9m 1s
Goto conversion: convert __builtin_isgreater and friends to expressions
completed successfully:
Build and Test on *BSD#4112:Pull request#9280synchronizebytautschnig
tautschnig:kiro/rr-2-18-isgreater-crash
Oct 28, 202613h 4m 6s
C library: pthread_rwlock_unlock must accept write locks
completed successfully:
Build and Test on *BSD#4111:Pull request#9273synchronizebytautschnig
tautschnig:kiro/rr-2-08-rwlock-unlock
Oct 28, 202612h 49m 17s
Fill in hostent fields in gethostbyname/gethostbyaddr/gethostent
completed successfully:
Build and Test on *BSD#4110:Pull request#9254synchronizebytautschnig
tautschnig:kiro/rr-1-13-gethostent
Oct 28, 202612h 38m 23s
Fix constant shift distances above INT_MAX in SAT backend
completed successfully:
Build and Test on *BSD#4109:Pull request#9281synchronizebytautschnig
tautschnig:kiro/rr-2-21-boolbv-huge-shift
Oct 28, 202612h 58m 23s
Incremental SMT2: fix nested array address scaling
failed:
Build and Test on *BSD#4108:Pull request#9284synchronizebytautschnig
tautschnig:kiro/rr-2-33-incr-smt2-nested-array-addr
Oct 28, 202612h 36m 39s
Fix alignment of structs with unnamed bit-fields
completed successfully:
Build and Test on *BSD#4107:Pull request#9246synchronizebytautschnig
tautschnig:kiro/rr-1-05-unnamed-bitfield-alignment
Oct 28, 202612h 29m 33s
SMT2: fix extractbit with a non-constant index
completed successfully:
Build and Test on *BSD#4106:Pull request#9295synchronizebytautschnig
tautschnig:kiro/rr-37-extractbit-index-cast
Oct 28, 202612h 9m 47s
C library: pthread_rwlock_rdlock must allow concurrent readers
completed successfully:
Build and Test on *BSD#4105:Pull request#9257synchronizebytautschnig
tautschnig:kiro/rr-1-17-rwlock-rdlock
Oct 28, 202612h 21m 24s
Fix getopt model to advance optind after each option
completed successfully:
Build and Test on *BSD#4104:Pull request#9263synchronizebytautschnig
tautschnig:kiro/rr-1-25-getopt
Oct 28, 202611h 50m 52s
Fix C11 call_once and thrd_create library models
completed successfully:
Build and Test on *BSD#4103:Pull request#9255synchronizebytautschnig
tautschnig:kiro/rr-1-15-c11-call-once
Oct 28, 202611h 45m 35s
Incremental SMT2: fix shift extension for mismatched widths
completed successfully:
Build and Test on *BSD#4102:Pull request#9283synchronizebytautschnig
tautschnig:kiro/rr-2-32-incr-smt2-shift-width
Oct 28, 202611h 29m 38s
C library: strcpy/strcat overlap checks must compare byte ranges
completed successfully:
Build and Test on *BSD#4101:Pull request#9271synchronizebytautschnig
tautschnig:kiro/rr-2-05-strcpy-overlap
Oct 28, 202611h 44m 45s
C library: sqrt models must round correctly in all rounding modes
completed successfully:
Build and Test on *BSD#4100:Pull request#9244synchronizebytautschnig
tautschnig:kiro/rr-1-02-sqrt-rne
Oct 28, 202611h 34m 46s

Workflow runs for Build and Test on *BSD

2100 workflow runs