3 commits

Author	SHA1	Message	Date
dependabot[bot]	d11206d3d4	Bump actions/download-artifact from 4 to 8 ... Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 4 to 8. - [Release notes](https://github.com/actions/download-artifact/releases) - [Commits](https://github.com/actions/download-artifact/compare/v4...v8) --- updated-dependencies: - dependency-name: actions/download-artifact dependency-version: '8' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>	2026-03-09 22:47:37 +00:00
copilot-swe-agent[bot]	71a4786371	Fix contradictory UBSan recovery flags in memory-safety.yml ... Co-authored-by: levnach <5377127+levnach@users.noreply.github.com>	2026-03-05 16:14:27 +00:00
Angelica Moreira	123bb620d4	Add ASan/UBSan memory safety CI workflow ... Adds a workflow that builds and tests Z3 with AddressSanitizer and UndefinedBehaviorSanitizer on every push to catch runtime memory errors and undefined behavior. Runs unit tests, SMT-LIB2 benchmarks, and regression tests under both sanitizers. Includes a Copilot agentic workflow to generate summary reports as GitHub Discussions. Triggered on push (path-filtered to src/) and manual dispatch.	2026-03-04 16:31:29 +00:00