Skip to content

Conversation

@andres-erbsen
Copy link
Collaborator

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

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

@andres-erbsen andres-erbsen force-pushed the Zmod branch 4 times, most recently from b7fa9df to 24fb329 Compare May 11, 2025 03:59
@andres-erbsen
Copy link
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
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.

3 participants