feat: lookup constraints for function calls#1922
Open
letypequividelespoubelles wants to merge 34 commits into
Open
feat: lookup constraints for function calls#1922letypequividelespoubelles wants to merge 34 commits into
letypequividelespoubelles wants to merge 34 commits into
DCO-2 / DCO
succeeded
Jun 26, 2026 in 1s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 312faff | feat: add lokkups constraints | Valid sign-off found |
| 🟢 | ec82f6e | Merge branch 'main' into 1870-feat-lookup-constrai... | Skipped: sign-off not required in merge commit |
| 🟢 | 188659e | continue | Valid sign-off found |
| 🟢 | f6044ac | Merge branch 'main' into 1870-feat-lookup-constrai... | Skipped: sign-off not required in merge commit |
| 🟢 | e288877 | Merge branch 'main' into 1870-feat-lookup-constrai... | Skipped: sign-off not required in merge commit |
| 🟢 | be96337 | add nested if with calls test | Valid sign-off found |
| 🟢 | 1deab33 | ras add same test with switch | Valid sign-off found |
| 🟢 | 6c5db1b | issue while returning from frame | Valid sign-off found |
| 🟢 | 479517e | refine factore skip_if | Valid sign-off found |
| 🟢 | 1dde70d | ras spotless | Valid sign-off found |
| 🟢 | 85ed989 | ras spotless | Valid sign-off found |
| 🟢 | 338a67e | generate lookup 1 bit selector | Valid sign-off found |
| 🟢 | ec798eb | ras | Valid sign-off found |
| 🟢 | caf47d3 | ras | Valid sign-off found |
| 🟢 | 9947129 | add failing compile test due to vectorization | Valid sign-off found |
| 🟢 | 1ba0c4d | Merge branch 'main' into 1870-feat-lookup-constrai... | Skipped: sign-off not required in merge commit |
| 🟢 | d38ae20 | fix arg written in same vector after call + add te... | Valid sign-off found |
| 🟢 | 27c86a0 | typo | Valid sign-off found |
| 🟢 | 235c43e | ras comment | Valid sign-off found |
| 🟢 | 429949b | ras comments | Valid sign-off found |
| 🟢 | c126423 | ras typo | Valid sign-off found |
| 🟢 | f85ed77 | typo | Valid sign-off found |
| 🟢 | 51fe381 | chore: refacto | Valid sign-off found |
| 🟢 | 8e63142 | ras spotless | Valid sign-off found |
| 🟢 | 959923f | feat: add range constraints lookup | Valid sign-off found |
| 🟢 | f5ae391 | typo | Valid sign-off found |
| 🟢 | 690eaa2 | ras typo | Valid sign-off found |
| 🟢 | 39160be | nice catch copilot | Valid sign-off found |
| 🟢 | 118415b | ras typo | Valid sign-off found |
| 🟢 | 72a1ba7 | add comment to say to copilot he's wrong | Valid sign-off found |
| 🟢 | c1ee316 | ras | Valid sign-off found |
| 🟢 | 2ef3b42 | add PC bitwidth to set of width to check | Valid sign-off found |
| 🟢 | 40bdd44 | ras, will be removed soon | Valid sign-off found |
| 🟢 | 065f3de | typo | Valid sign-off found |
Loading