Workaround for unconditionally failing conditional constraints #276
DCO-2 / DCO
succeeded
Apr 1, 2026 in 1s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 97e51c7 | first cut at removing implicit assert for downcast... | Valid sign-off found |
| 🟢 | b1ea22c | initial fix for field->bytes | Valid sign-off found |
| 🟢 | 42d98ca | added more tests for field->bytes; also added test... | Valid sign-off found |
| 🟢 | 8a8932f | initial fixes for bytes->field | Valid sign-off found |
| 🟢 | ff0cc10 | moved tests | Valid sign-off found |
| 🟢 | cd8bd82 | moved handling of downcast-unsigned to flatten-dat... | Valid sign-off found |
| 🟢 | 55c0256 | removed remove-implicit-asserts and all that it re... | Valid sign-off found |
| 🟢 | 7998b04 | now insuring that vector->bytes gets innocuous inp... | Valid sign-off found |
| 🟢 | e6a3301 | Merge branch 'main' into issue-226-conditional-con... | Skipped: sign-off not required in merge commit |
| 🟢 | 2ba2bdd | disabled printing of last successes on error | Valid sign-off found |
| 🟢 | e45933a | added workaround for less_than inputs from the < o... | Valid sign-off found |
| 🟢 | 58f3054 | relational operators require a non-false bits valu... | Valid sign-off found |
| 🟢 | d218f50 | split downcast-unsigned into field->unsigned and d... | Valid sign-off found |
| 🟢 | 94abb47 | cleanup | Valid sign-off found |
| 🟢 | 0128ee6 | updated expected output for the unit tests | Valid sign-off found |
| 🟢 | 76b309d | Merge branch 'main' into issue-226-conditional-con... | Skipped: sign-off not required in merge commit |
| 🟢 | ac09d84 | added a change-log entry | Valid sign-off found |
| 🟢 | 645126d | Merge branch 'main' into issue-226-conditional-con... | Skipped: sign-off not required in merge commit |
| 🟢 | c8db17e | bumped compiler version | Valid sign-off found |
Loading