Skip to content

WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 100.9 s - #1004

Draft
MauroToscano wants to merge 1008 commits into
mainfrom
whir/recursion-rpx
Draft

WHIR recursion on GPU (RPX) with ZisK-style proof formats: block 25368371 in 100.9 s#1004
MauroToscano wants to merge 1008 commits into
mainfrom
whir/recursion-rpx

feat(math-cuda): the column-major LDE engine is the default device LDE

668a89a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar