Skip to content

ci: check that every commit belongs to a documented fork patch - #95

Open
clementblaudeau wants to merge 18 commits into
devfrom
ci-fork-patch-check
Open

ci: check that every commit belongs to a documented fork patch#95
clementblaudeau wants to merge 18 commits into
devfrom
ci-fork-patch-check

Conversation

@clementblaudeau

@clementblaudeau clementblaudeau commented Nov 2, 2026

Copy link
Copy Markdown
Collaborator

Closes #88.

Fork-Patch: ci-fork-patches

maximebuyse and others added 17 commits October 20, 2026 11:51
@maximebuyse @abentkamp
fix: compare the trait-clause filter with the number of trait clauses (…
82de34e 
…#2)

Fork-Patch: fix-trait-clause-filter-length
@maximebuyse @abentkamp
Core models option (#2, #6, #65, #75)
22f65a4 
Co-authored-by: Alexander Bentkamp <alexander@cryspen.com>
Fork-Patch: core-models-lib
@abentkamp
Basic mvcgen specs (#18, #31)
be78acb 
Fork-Patch: mvcgen-result-specs
@abentkamp
feat: partial-correctness specs with partialSpec (#4, #31, #33)
168b526 
Fork-Patch: partial-spec
@clementblaudeau @abentkamp
feat(lean): specs and proof obligations from hax_lib annotations (#7,
80611aa 
#58, #62)

Co-authored-by: Alexander Bentkamp <alexander@cryspen.com>
Fork-Patch: hax-specs
@abentkamp
Fix model of subslices for start = end case (#30)
3bf238f 
Fork-Patch: empty-subslice
@abentkamp
feat: partialSpec lemmas for the panicking library operations (#4, #35
3cead35 
)

Fork-Patch: partial-spec-library
@abentkamp
ci: build the Lean library with --iofail (#33)
af27043 
Fork-Patch: ci-lean-iofail
@clementblaudeau @abentkamp
User controlled includes (#36)
c582714 
Fork-Patch: extra-includes
@abentkamp
feat: rename Result to RustM (#37)
471b262 
Fork-Patch: rename-result-to-rustm
@abentkamp
Regenerate files after renaming Result to RustM (#37)
3e9a69f 
Fork-Patch: rename-result-to-rustm
@abentkamp
feat: reduce Errors to only panic and undef (#44)
53223c5 
Fork-Patch: reduce-error-cases
@karthikbhargavan @abentkamp
Fix the semantics of the signed remainder: MIN % -1 overflows (#21)
780a4f8 
Fork-Patch: signed-rem-min-overflow
@clementblaudeau @abentkamp
fix: look for shadowing with qualified names (#63)
4568005 
Fork-Patch: namespace-shadow-qualified-names
@clementblaudeau @abentkamp
refactor: introduce [extract/ExternalNames] and rename builtin (#38)
09e42ee 
Fork-Patch: external-names
@clementblaudeau @abentkamp
feat: import external names from a json file (#42, #45)
94121a9 
Fork-Patch: external-names
@abentkamp
Bump the charon pin to fix the release build on macOS
41977a5 
Fork-Patch: charon-pin-macos-release
Assisted-by: Claude Opus 5.5

This branch has not been deployed

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

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Add a CI job to check that all commits carry the Fork-patch annotation and modify the fork/ files

4 participants

@clementblaudeau @maximebuyse @abentkamp @karthikbhargavan