issues
search
leonardt
/
hwtypes
Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
BSD 3-Clause "New" or "Revised" License
18
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Aha no-heroku flow test
#156
leonardt
closed
11 months ago
0
Aha no-heroku flow test
#155
leonardt
closed
11 months ago
0
Remove use of mixin bv methods
#154
cdonovick
closed
1 year ago
0
Add reflected operators to bit and bv types
#153
cdonovick
closed
1 year ago
2
fix minor typo / export TaggedUnion
#152
cdonovick
closed
1 year ago
0
adds right associative ops
#151
rdaly525
closed
1 year ago
2
Fixes and adds test for name_table bug
#150
rdaly525
closed
1 year ago
3
Adds some convenient smt formula construction classes
#149
rdaly525
closed
1 year ago
0
Smt int
#148
rdaly525
closed
1 year ago
0
SMT Int class [Enhancement]
#147
rdaly525
closed
1 year ago
0
raise TypeError in SMTBit.__bool__
#146
cdonovick
closed
2 years ago
0
Examples and API documentation in the README
#145
rdaly525
opened
3 years ago
0
Add repr method
#144
leonardt
closed
3 years ago
0
[RFC] Special handling of None or 0 (constant) parameter for adc
#143
leonardt
opened
3 years ago
1
Unexpected behavior when using BitVector as index
#142
leonardt
opened
3 years ago
1
Set warnings.warn stacklevel to 3
#141
leonardt
closed
3 years ago
0
Add type string to hash for uniqueness
#140
leonardt
closed
3 years ago
1
Add logic/test for srem by 0
#139
leonardt
closed
3 years ago
1
Allow subclassing of enums to create extensions
#138
cdonovick
opened
4 years ago
0
strip_modifier fix, rebind_fix
#137
rdaly525
closed
4 years ago
0
rebind_bitvector does not work with Tagged Unions
#136
rdaly525
closed
4 years ago
1
Protocol smt
#135
cdonovick
closed
4 years ago
1
From values
#134
cdonovick
closed
4 years ago
2
add a test
#133
cdonovick
closed
4 years ago
0
Make cache=true default
#132
cdonovick
closed
4 years ago
0
Add ADT visitors
#131
cdonovick
closed
4 years ago
1
add protocol
#130
cdonovick
closed
4 years ago
2
Allow smt variables to have specified name prefix
#129
cdonovick
closed
4 years ago
0
[RFC] BV Protocol
#128
cdonovick
closed
4 years ago
5
Make polymorhic bitvector
#127
cdonovick
closed
4 years ago
9
Unified BitVector Tests
#126
cdonovick
opened
4 years ago
0
ADT naming
#125
rdaly525
opened
4 years ago
5
Test
#124
cdonovick
closed
4 years ago
0
Add AnonymousProduct type
#123
cdonovick
closed
4 years ago
6
[RFC] Typing of ite
#122
cdonovick
opened
4 years ago
21
[Feature Request] Add a Union ADT type
#121
rdaly525
closed
4 years ago
2
Unhack TypeFamilies for magma
#120
rdaly525
opened
4 years ago
6
NameError bug with AttrSyntax
#119
rdaly525
closed
4 years ago
1
test commit
#118
cdonovick
closed
4 years ago
0
Adt meta
#117
cdonovick
closed
4 years ago
0
Syntax's are not working correctly with isinstance()
#116
rdaly525
closed
4 years ago
0
Allow ites to work on python tuples
#115
cdonovick
closed
4 years ago
1
Failing test
#114
phanrahan
closed
4 years ago
2
Added the following two helper functions for modifiers
#113
rdaly525
closed
4 years ago
4
Modifiers cannot be applied multiple times
#112
rdaly525
closed
4 years ago
1
A generic ADT visitor class
#111
rdaly525
opened
4 years ago
0
Make field_dict more consistent
#110
cdonovick
closed
4 years ago
0
Unify ite logic
#109
cdonovick
closed
4 years ago
0
raises type error when ite branches are different bv/bit types
#108
rdaly525
closed
4 years ago
1
Too eager of casting in SMTBit.ite
#107
rdaly525
closed
4 years ago
3
Next