Skip to content

Comments

Add more distinguisher checkers#405

Open
juaninf wants to merge 13 commits intodevelopfrom
add_more_checkers
Open

Add more distinguisher checkers#405
juaninf wants to merge 13 commits intodevelopfrom
add_more_checkers

Conversation

@juaninf
Copy link
Collaborator

@juaninf juaninf commented Feb 12, 2026

This PR add more checkers to CLAASP.

  • differential_truncated_checker_permutation_input_and_output_truncated
  • truncated_differential_linear_checker_permutation

@juaninf juaninf changed the title Add more checkers Add more distinguisher checkers Feb 12, 2026
@juaninf juaninf requested a review from peacker February 12, 2026 09:49
@sonarqubecloud
Copy link

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.

1 participant