z3-solver riscv64 support #21

Activity

1. threexc

   added this to the upstream milestone on Jun 23, 2026
2. threexc

   added the

   Task

   issue type on Jun 23, 2026
3. threexc

   moved this to In Progress in Python Wheels - riseproject-dev/python-wheelson Jun 23, 2026
4. threexc

   added this to Python Wheels - riseproject-dev/python-wheelson Jun 23, 2026
5. threexc

   added

   upstream

   waiting for releaseSupport merged upstream, but not in a release yetSupport merged upstream, but not in a release yet

   on Jun 23, 2026
6. threexc

   marked this as blocking on Jun 23, 2026

   • torch riscv64 support #71
7. threexc

   added a commit that references this issue on Jul 20, 2026

   z3-solver: deprecate our wheel

   ...

   This issue will close once commit c0019d1 is merged into the 'main' branch.

   c0019d1
8. threexc

   closed this as completedin #177on Jul 20, 2026
9. github-project-automation

   moved this from In Progress to Done in Python Wheels - riseproject-dev/python-wheelson Jul 20, 2026
10. luhenry

    added

    wheel

    on Jul 21, 2026