Skip to content

Fix false Valid results from constructor proof fields - #223

Open
RSoulatIOHK wants to merge 2 commits into
beta-lambda-cache-optimizationfrom
fix/beta-proof-irrelevance
Open

Fix false Valid results from constructor proof fields#223
RSoulatIOHK wants to merge 2 commits into
beta-lambda-cache-optimizationfrom
fix/beta-proof-irrelevance

test: name proof-irrelevance regression after issue 225

26ec7cc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar