[SMTChecker] Consider the limits from EIP-1985 for types
Open
low effort
smt
- Dominant language
- C++
- Stars
- 25.7k
- Forks
- 6.2k
- Avg merge
- 1d 11h
- Merged PRs (30d)
- 21
Description
See https://eips.ethereum.org/EIPS/eip-1985. The limits in it mostly mirror what is in geth. There is a plan to finalise this EIP, perhaps should not do most of this in SMTChecker before it is finalised.
Contributor guide
Research direction
Start by reading EIP-1985 and locating the SMTChecker entry points that handle type limits. Confirm whether the EIP has been finalized and decide which limits are in scope before changing anything. Done requires an agreed scope and corresponding SMTChecker coverage, but the issue does not name files or tests.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp, solidity
- Domain
- blockchain, compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100