Skip to content

Zmod#144

Merged
andres-erbsen merged 5 commits into
rocq-prover:masterfrom
andres-erbsen:Zmod
May 30, 2025
Merged

Zmod#144
andres-erbsen merged 5 commits into
rocq-prover:masterfrom
andres-erbsen:Zmod

Conversation

@andres-erbsen

@andres-erbsen andres-erbsen commented May 9, 2025

Copy link
Copy Markdown
Collaborator
  • TODO comments for srs in ZmodBase and Bits
  • Added changelog.
  • Added / updated documentation.
  • Opened 0 overlay pull requests.
  • Fix dependency graph

Comment thread theories/Zmod/ZmodDef.v Outdated
Comment thread theories/Zmod/Bits.v Outdated
Comment thread theories/Zmod/ZmodDef.v
Comment thread theories/Zmod/ZmodDef.v Outdated
Comment thread theories/Zmod/ZmodDef.v
Comment thread theories/Zmod/ZstarBase.v Outdated
Comment thread theories/Zmod/ZmodBase.v
@andres-erbsen andres-erbsen force-pushed the Zmod branch 4 times, most recently from b7fa9df to 24fb329 Compare May 11, 2025 03:59
Comment thread doc/stdlib/depends.dot Outdated
@andres-erbsen

Copy link
Copy Markdown
Collaborator Author

I think this is ready. Lacking further discussion, I intend to merge in a week or so.

@andres-erbsen andres-erbsen force-pushed the Zmod branch 3 times, most recently from 93539dd to 902a11a Compare May 30, 2025 02:29
@andres-erbsen andres-erbsen merged commit 499c6e5 into rocq-prover:master May 30, 2025
239 checks passed
@proux01 proux01 added this to the 9.1 milestone Feb 10, 2026
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.

4 participants