2 Pull requests merged by 1 person

• Remove unnecesssary word-alignment assertion for LW and SW instructions

  #575 merged Jan 31, 2025

• Shout d=1

  #568 merged Jan 29, 2025

4 Pull requests opened by 4 people

• Update LICENSE

  #571 opened Jan 29, 2025

• Feature/ci plot benchmarks

  #572 opened Jan 29, 2025

• Twist, d=1

  #573 opened Jan 30, 2025

• fix: typos in documentation files

  #574 opened Jan 31, 2025

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• fix: optimize opening proof gpu usage

  #569 commented on Feb 1, 2025 • 5 new comments

• feat(pcs): Dory pcs

  #556 commented on Jan 31, 2025 • 0 new comments