Skip to content

D-DRISA-3 (lab): threshold, Kleene and Bag on the shipped carry words (stacked on #1955) - #1956

Merged
AdaWorldAPI merged 6 commits into
mainfrom
ccr-85acaff0-oszq40-drisa-3
Nov 4, 2026
Merged

D-DRISA-3 (lab): threshold, Kleene and Bag on the shipped carry words (stacked on #1955)#1956
AdaWorldAPI merged 6 commits into
mainfrom
ccr-85acaff0-oszq40-drisa-3

Merge main into #1956; keep alu module and the #1955 witness fix

2368a08
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar