Page MenuHomeSolus

Update solidity to 0.8.14
ClosedPublic

Authored by GZGavinZhao on Thu, Jun 9, 10:52 PM.

Details

Summary

Depends on D13282.

Changelog available here.

Test Plan

Successfully built solidity example contracts.

Signed-off-by: Gavin Zhao <git@gzgz.dev>

Diff Detail

Repository
R5440 solidity
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

GZGavinZhao created this revision.Thu, Jun 9, 10:52 PM
GZGavinZhao requested review of this revision.Thu, Jun 9, 10:52 PM
GZGavinZhao edited the summary of this revision. (Show Details)Thu, Jun 9, 10:53 PM
GZGavinZhao edited the summary of this revision. (Show Details)
GZGavinZhao added a parent revision: D13269: Update z3 to 4.8.17.

Rebuild against correct z3.

GZGavinZhao edited the summary of this revision. (Show Details)Sun, Jun 12, 6:42 PM
GZGavinZhao added a parent revision: D13282: Update z3 to 4.8.17.
Staudey accepted this revision.Sun, Jun 12, 10:46 PM
Staudey added a subscriber: Staudey.

LGTM, thanks!

This revision is now accepted and ready to land.Sun, Jun 12, 10:46 PM
This revision was automatically updated to reflect the committed changes.