Soliditylang Solidity vulnerabilities

• soliditylang solidity Ethereum Solidity v0.8.14 contains an assertion failure via SMTEncoder::indexOrMemberAssignment()... CVE-2022-33069 5.5 MediumJune 22, 2022
• soliditylang solidity Solidity 0.7.5 has a stack-use-after-return issue in smtutil::CHCSmtLib2Interface::querySolver.... CVE-2020-36402 7.8 HighJuly 1, 2021