Skip to content

Issues: leonardt/hwtypes

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

22 Open 38 Closed
22 Open 38 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Examples and API documentation in the README enhancement New feature or request
#145 opened Jul 26, 2021 by rdaly525
[RFC] Special handling of None or 0 (constant) parameter for adc
#143 opened Jan 27, 2021 by leonardt
@cdonovick
1
Unexpected behavior when using BitVector as index
#142 opened Oct 15, 2020 by leonardt
1
Allow subclassing of enums to create extensions enhancement New feature or request
#138 opened Aug 13, 2020 by cdonovick
@cdonovick
Unified BitVector Tests
#126 opened Feb 13, 2020 by cdonovick
@phanrahan @leonardt @cdonovick
ADT naming
#125 opened Feb 7, 2020 by rdaly525
5
[RFC] Typing of ite
#122 opened Feb 3, 2020 by cdonovick
@phanrahan @leonardt
@rsetaluri @rdaly525
21
Unhack TypeFamilies for magma
#120 opened Jan 27, 2020 by rdaly525
6
A generic ADT visitor class enhancement New feature or request
#111 opened Jan 12, 2020 by rdaly525
Unit
#103 opened Dec 2, 2019 by phanrahan
[RFC] Better support for magma in hwtypes enhancement New feature or request
#102 opened Nov 15, 2019 by cdonovick
@phanrahan @leonardt
@rsetaluri @rdaly525
2
similar software
#101 opened Nov 8, 2019 by Nic30
4
dunderscore operators not defined in base class
#100 opened Oct 21, 2019 by leonardt
@cdonovick
3
[RFC] The Future of Families enhancement New feature or request
#98 opened Sep 25, 2019 by cdonovick
@phanrahan @leonardt
@rsetaluri @cdonovick @rdaly525
32
Add helper method to extract (sign,exp,frac) bits from a FPBitvector
#95 opened Sep 18, 2019 by rdaly525
SMTBitVector needs tests
#87 opened Aug 1, 2019 by cdonovick
@cdonovick
Possible ADT naming change for more consistency
#71 opened Jul 17, 2019 by rdaly525
@phanrahan @cdonovick
4
[feature request] random method on Bit enhancement New feature or request
#51 opened Jun 11, 2019 by rdaly525
[feature-request] Array Type enhancement New feature or request
#49 opened Jun 7, 2019 by cdonovick
@cdonovick
7
FPVector construction
#46 opened Jun 7, 2019 by cdonovick
Possibly factor out FP into its own package
#37 opened May 21, 2019 by makaimann
@cdonovick
3
bitvector.random
#31 opened May 18, 2019 by phanrahan
3
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.