Skip to content

proofs/isabelle: wire up split theories, add PDF document generation,…

e9bc583
Select commit
Loading
Failed to load commit list.
Open

Added AutoCorrode submodule, a reasoning framework for Rust and C in Isabelle/HOL #1590

proofs/isabelle: wire up split theories, add PDF document generation,…
e9bc583
Select commit
Loading
Failed to load commit list.
DCO-2 / DCO required action Mar 25, 2026 in 1s

Check failed

All commits are incorrectly signed off, the check did not pass.

Summary


Sha Message Pass or fail reason
🔴 1a06a7f proofs/isabelle: add AutoCorrode submodule Sign-off not found
🔴 85ce61d proofs/isabelle: add abstract ML-KEM polynomial sp... Sign-off not found
🔴 00a4982 proofs/isabelle: add NTT zeta factor table and pro... Sign-off not found
🔴 fa0daf9 proofs/isabelle: add forward and inverse NTT abstr... Sign-off not found
🔴 d4d4645 proofs/isabelle: prove NTT/inverse-NTT are two-sid... Sign-off not found
🔴 4236224 proofs/isabelle: add C functional correctness proo... Sign-off not found
🔴 4ac46e6 proofs/isabelle: add C functional correctness proo... Sign-off not found
🔴 fdd11d7 proofs/isabelle: add C functional correctness proo... Sign-off not found
🔴 58ad228 proofs/isabelle: add C functional correctness proo... Sign-off not found
🔴 e907b75 proofs/isabelle: add C functional correctness proo... Sign-off not found
🔴 e9bc583 proofs/isabelle: wire up split theories, add PDF d... Sign-off not found

Errors details

Sign-off not found

No sign-off was found in the commit message. This usually means that the author or committer of this commit failed to include a Signed-off-by line in the commit message. In some cases, this error can also be raised if the sign-off is not in the correct format.

To avoid having pull requests blocked in the future, always include a Signed-off-by: User1 <user1@email.test> line in every commit message. You can also do this automatically by using the -s flag (i.e., git commit -s).

How to fix missing or invalid sign-offs

Option 1: add remediation commit

Remediation commits are not allowed for this repository. For more details about how to enable them, please see the documentation.

Option 2: fix commits without sign-off

Rebase the branch

If you have a local git environment and meet the criteria below, one option is to rebase the branch and add your Signed-off-by lines in the new commits. Please note that if others have already begun work based upon the commits in this branch, this solution will rewrite history and may cause serious issues for collaborators (described in the git documentation under "The Perils of Rebasing").

Warning

You should only do this if:

  • You are the only author of the commits in this branch
  • You are absolutely certain nobody else is doing any work based upon this branch
  • There are no empty commits in the branch

To add your Signed-off-by line to every commit in this branch:

  1. Ensure you have a local copy of your branch by checking out the pull request locally via command line.
  2. In your local branch, run: git rebase HEAD~11 --signoff
  3. Force push your changes to overwrite the branch: git push --force-with-lease origin autocorrode-submodule