Add rotate_left and rotate_right operations to machine integers#4080
Open
remix7531 wants to merge 4 commits intoFStarLang:masterfrom
Open
Add rotate_left and rotate_right operations to machine integers#4080remix7531 wants to merge 4 commits intoFStarLang:masterfrom
remix7531 wants to merge 4 commits intoFStarLang:masterfrom
Commits
Commits on Jan 2, 2026
- committed
remix7531
Commits on Jan 20, 2026
Commits on Jan 27, 2026
- committedremix7531
