Fixes T10077
Changes:
- CHANGELOG available here.
- Added myself (@GZGavinZhao) as a maintainer after approval from @silke.
Details
Details
- Reviewers
JoshStrobl - Group Reviewers
Triage Team - Maniphest Tasks
- T10077: Update z3 to 4.8.13
- Commits
- R5080:62ca3a8d7caf: Update z3 to 4.8.13
Successfully built and tested Solidity using z3 as its SMT module.
Signed-off-by: Gavin Zhao <gavinzhaojw@protonmail.com>
Diff Detail
Diff Detail
- Repository
- R5080 z3
- Lint
Lint Not Applicable - Unit
Tests Not Applicable