Dispose random view selectors#217

Draft

zayenz wants to merge 39 commits into

mainfrom

feature/int-var-rnd-dispose

Commits on Jul 10, 2026

Add sanitizer and fault injection test support
Mikael Zayenz Lagerkvist
committed
Add disposal-array clone fault regression
Mikael Zayenz Lagerkvist
committed
Recover clone state on disposal-array failure
Mikael Zayenz Lagerkvist
committed
Add dispose-notice allocation fault regression
Mikael Zayenz Lagerkvist
committed
Dispose actor when dispose-notice allocation fails
Mikael Zayenz Lagerkvist
committed
Add IntSet allocation fault regression
Mikael Zayenz Lagerkvist
committed
Release IntSet object on range allocation failure
Mikael Zayenz Lagerkvist
committed
Add MiniModel default-node allocation fault regression
Mikael Zayenz Lagerkvist
committed
Release partial MiniModel arithmetic expressions on failure
Mikael Zayenz Lagerkvist
committed
Add BoolExpr misc allocation fault regression
Mikael Zayenz Lagerkvist
committed
Release BoolExpr misc object on node allocation failure
Mikael Zayenz Lagerkvist
committed
Recover unfinished clone destruction
Mikael Zayenz Lagerkvist
committed
Avoid typed casts for marked advisor links
Mikael Zayenz Lagerkvist
committed
Add LinIntExpr default API regression
Mikael Zayenz Lagerkvist
committed
Restore default LinIntExpr node invariant
Mikael Zayenz Lagerkvist
committed
Recover clone disposal failures for any exception
Mikael Zayenz Lagerkvist
committed
Add AP_DISPOSE registration failure regression
Mikael Zayenz Lagerkvist
committed
Avoid disposing unregistered AP_DISPOSE actors
Mikael Zayenz Lagerkvist
committed
Serialize fault injection tests
Mikael Zayenz Lagerkvist
committed
Keep clone recovery non-virtual
Mikael Zayenz Lagerkvist
committed
Wire heap fault phase coverage
Mikael Zayenz Lagerkvist
committed
Expand heap fault coverage
Mikael Zayenz Lagerkvist
committed
Cover BoolExpr heap failure ownership
Mikael Zayenz Lagerkvist
committed
Fix clone and MiniModel fault-injection gaps
Mikael Zayenz Lagerkvist
committed
Fix BAB recomputation UBSan issue
Mikael Zayenz Lagerkvist
committed
Fix parallel search sanitizer races
Mikael Zayenz Lagerkvist
committed
Fix parallel PBS slave lifetime
Mikael Zayenz Lagerkvist
committed
Fix large sanitizer findings
Mikael Zayenz Lagerkvist
committed
Document stability changelog and attributions
Mikael Zayenz Lagerkvist
committed
Use Gecode-style clone recovery names
Mikael Zayenz Lagerkvist
committed
Make fault-injection counters thread-safe
Mikael Zayenz Lagerkvist
committed
Keep partial clone actor lists recoverable
Mikael Zayenz Lagerkvist
committed
Preserve copyable stop and no-good objects
Mikael Zayenz Lagerkvist
committed
Exercise fault injection in CMake checks
Mikael Zayenz Lagerkvist
committed
search: preserve PBS runnable completion lifetime
Mikael Zayenz Lagerkvist
committed
search: add conditional atomic clock linkage
Mikael Zayenz Lagerkvist
committed
ci: fix 32-bit smoke invocation
Mikael Zayenz Lagerkvist
committed
build: isolate FailPoint fault tests
Mikael Zayenz Lagerkvist
committed
Dispose random view selectors
Mikael Zayenz Lagerkvist
committed