Skip to content

fix(hy-check): track function parameter capabilities and enforce linearity and lifecycle in channel_liveness (fixes #4416) - #4417

Open
seenorht wants to merge 1 commit into
limitlessprojects:mainfrom
seenorht:fix/channel-liveness-parameter-capability-soundness
Open

seenorht wants to merge 1 commit into
limitlessprojects:mainfrom
seenorht:fix/channel-liveness-parameter-capability-soundness

fix(hy-check): track function parameter capabilities and enforce line…

ed12640
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors, 1 warning, and 1 notice
board
cancelled Nov 12, 2026 in 21m 26s