Pull requests: cvc5/ethos
Pull requests list
Option to treat define-fun as Eunoia definitions
#207
opened Apr 13, 2026 by
ajreynol
Member
Loading…
Check that the type of programs are well scoped
#150
opened May 21, 2025 by
ajreynol
Member
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.