Add padding and proving for smaller programs#2956

Open

martyall wants to merge 1 commit intodw/no-opfrom martin/mips-padding

+137-41

Commits on Jan 17, 2025

Add padding and proving for small programs
martyall
committed