Skip to content

Refactor code positions#945

Draft
Gustavo2622 wants to merge 13 commits intomainfrom
refactor_codepos
Draft

Refactor code positions#945
Gustavo2622 wants to merge 13 commits intomainfrom
refactor_codepos

Conversation

@Gustavo2622
Copy link
Contributor

This pull request refactors the codeposition code in order to impose more uniform utilization and avoid logic duplication.

@Gustavo2622 Gustavo2622 requested a review from strub March 20, 2026 18:31
@Gustavo2622 Gustavo2622 self-assigned this Mar 20, 2026
@Gustavo2622 Gustavo2622 force-pushed the refactor_codepos branch 3 times, most recently from 2bc52a0 to af3e765 Compare March 25, 2026 11:59
@fdupress
Copy link
Member

External CI will now follow this branch for SHA3: https://gitlab.com/easycrypt/sha3/-/merge_requests/7

Please coordinate merges to avoid having the main CI fail.

@fdupress
Copy link
Member

@MM45 do you think you'll have some time soon to help bring sphincsplus up to date? If not I can try to manage something.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

@Cameron-Low , could we have a codepos for "after the last line"? I assume that "before the last line + 1" would already work here?

2 participants