leonardt/hwtypes issues and pull requests

#156 - Aha no-heroku flow test

Pull Request - State: closed - Opened by leonardt over 1 year ago

#155 - Aha no-heroku flow test

Pull Request - State: closed - Opened by leonardt over 1 year ago

#154 - Remove use of mixin bv methods

Pull Request - State: closed - Opened by cdonovick over 1 year ago

#153 - Add reflected operators to bit and bv types

Pull Request - State: closed - Opened by cdonovick over 1 year ago - 2 comments

#152 - fix minor typo / export TaggedUnion

Pull Request - State: closed - Opened by cdonovick over 1 year ago

#151 - adds right associative ops

Pull Request - State: closed - Opened by rdaly525 over 2 years ago - 2 comments

#150 - Fixes and adds test for name_table bug

Pull Request - State: closed - Opened by rdaly525 over 2 years ago - 3 comments

#149 - Adds some convenient smt formula construction classes

Pull Request - State: closed - Opened by rdaly525 over 2 years ago

#148 - Smt int

Pull Request - State: closed - Opened by rdaly525 over 2 years ago

#147 - SMT Int class [Enhancement]

Issue - State: closed - Opened by rdaly525 over 2 years ago
Labels: enhancement

#146 - raise TypeError in SMTBit.bool

Pull Request - State: closed - Opened by cdonovick almost 3 years ago

#145 - Examples and API documentation in the README

Issue - State: open - Opened by rdaly525 over 3 years ago
Labels: enhancement

#144 - Add repr method

Pull Request - State: closed - Opened by leonardt almost 4 years ago

#143 - [RFC] Special handling of None or 0 (constant) parameter for adc

Issue - State: open - Opened by leonardt almost 4 years ago - 1 comment

#142 - Unexpected behavior when using BitVector as index

Issue - State: open - Opened by leonardt over 4 years ago - 1 comment

#141 - Set warnings.warn stacklevel to 3

Pull Request - State: closed - Opened by leonardt over 4 years ago

#140 - Add type string to hash for uniqueness

Pull Request - State: closed - Opened by leonardt over 4 years ago - 1 comment

#139 - Add logic/test for srem by 0

Pull Request - State: closed - Opened by leonardt over 4 years ago - 1 comment

#138 - Allow subclassing of enums to create extensions

Issue - State: open - Opened by cdonovick over 4 years ago
Labels: enhancement

#137 - strip_modifier fix, rebind_fix

Pull Request - State: closed - Opened by rdaly525 over 4 years ago

#136 - rebind_bitvector does not work with Tagged Unions

Issue - State: closed - Opened by rdaly525 over 4 years ago - 1 comment

#135 - Protocol smt

Pull Request - State: closed - Opened by cdonovick over 4 years ago - 1 comment

#134 - From values

Pull Request - State: closed - Opened by cdonovick over 4 years ago - 2 comments

#133 - add a test

Pull Request - State: closed - Opened by cdonovick over 4 years ago

#132 - Make cache=true default

Pull Request - State: closed - Opened by cdonovick over 4 years ago

#131 - Add ADT visitors

Pull Request - State: closed - Opened by cdonovick over 4 years ago - 1 comment

#130 - add protocol

Pull Request - State: closed - Opened by cdonovick over 4 years ago - 2 comments

#129 - Allow smt variables to have specified name prefix

Pull Request - State: closed - Opened by cdonovick over 4 years ago

#128 - [RFC] BV Protocol

Issue - State: closed - Opened by cdonovick over 4 years ago - 5 comments

#127 - Make polymorhic bitvector

Pull Request - State: closed - Opened by cdonovick almost 5 years ago - 9 comments

#126 - Unified BitVector Tests

Issue - State: open - Opened by cdonovick almost 5 years ago

#125 - ADT naming

Issue - State: open - Opened by rdaly525 almost 5 years ago - 5 comments

#124 - Test

Pull Request - State: closed - Opened by cdonovick almost 5 years ago

#123 - Add AnonymousProduct type

Pull Request - State: closed - Opened by cdonovick almost 5 years ago - 6 comments

#122 - [RFC] Typing of ite

Issue - State: open - Opened by cdonovick almost 5 years ago - 21 comments

#121 - [Feature Request] Add a Union ADT type

Issue - State: closed - Opened by rdaly525 almost 5 years ago - 2 comments

#120 - Unhack TypeFamilies for magma

Issue - State: open - Opened by rdaly525 almost 5 years ago - 6 comments

#119 - NameError bug with AttrSyntax

Issue - State: closed - Opened by rdaly525 about 5 years ago - 1 comment

#118 - test commit

Pull Request - State: closed - Opened by cdonovick about 5 years ago

#117 - Adt meta

Pull Request - State: closed - Opened by cdonovick about 5 years ago

#116 - Syntax's are not working correctly with isinstance()

Issue - State: closed - Opened by rdaly525 about 5 years ago

#115 - Allow ites to work on python tuples

Pull Request - State: closed - Opened by cdonovick about 5 years ago - 1 comment

#114 - Failing test

Issue - State: closed - Opened by phanrahan about 5 years ago - 2 comments

#113 - Added the following two helper functions for modifiers

Pull Request - State: closed - Opened by rdaly525 about 5 years ago - 4 comments

#112 - Modifiers cannot be applied multiple times

Pull Request - State: closed - Opened by rdaly525 about 5 years ago - 1 comment

#111 - A generic ADT visitor class

Issue - State: open - Opened by rdaly525 about 5 years ago
Labels: enhancement

#110 - Make field_dict more consistent

Pull Request - State: closed - Opened by cdonovick about 5 years ago

#109 - Unify ite logic

Pull Request - State: closed - Opened by cdonovick about 5 years ago

#108 - raises type error when ite branches are different bv/bit types

Pull Request - State: closed - Opened by rdaly525 about 5 years ago - 1 comment

#107 - Too eager of casting in SMTBit.ite

Issue - State: closed - Opened by rdaly525 about 5 years ago - 3 comments

#106 - Rebind type

Pull Request - State: closed - Opened by rdaly525 about 5 years ago

#105 - tests failing

Issue - State: closed - Opened by phanrahan about 5 years ago - 2 comments

#104 - Build UF backed fpvector

Pull Request - State: closed - Opened by cdonovick about 5 years ago

#103 - Unit

Issue - State: open - Opened by phanrahan about 5 years ago

#102 - [RFC] Better support for magma in hwtypes

Issue - State: open - Opened by cdonovick about 5 years ago - 2 comments
Labels: enhancement

#101 - similar software

Issue - State: open - Opened by Nic30 about 5 years ago - 4 comments

#100 - dunderscore operators not defined in base class

Issue - State: open - Opened by leonardt over 5 years ago - 3 comments

#99 - kwargs interface for constructing product types

Issue - State: closed - Opened by leonardt over 5 years ago - 3 comments

#98 - [RFC] The Future of Families

Issue - State: open - Opened by cdonovick over 5 years ago - 32 comments
Labels: enhancement

#97 - Tagged union

Pull Request - State: closed - Opened by cdonovick over 5 years ago - 3 comments

#96 - New sum

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#95 - Add helper method to extract (sign,exp,frac) bits from a FPBitvector

Issue - State: open - Opened by rdaly525 over 5 years ago

#94 - added a substitute method to SMTBit and SMTBitVector

Pull Request - State: closed - Opened by rdaly525 over 5 years ago - 4 comments

#93 - Rebind fix

Pull Request - State: closed - Opened by rdaly525 over 5 years ago

#92 - Add Bit.random() staticmethod

Pull Request - State: closed - Opened by leonardt over 5 years ago

#91 - Major rework of Sum interfaces

Pull Request - State: closed - Opened by cdonovick over 5 years ago - 1 comment

#90 - Rebind keep

Pull Request - State: closed - Opened by rdaly525 over 5 years ago - 1 comment

#89 - Rebind should work on ADT types with modifiers

Issue - State: closed - Opened by rdaly525 over 5 years ago - 1 comment

#88 - Make modifiers work with ADT types

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#87 - SMTBitVector needs tests

Issue - State: open - Opened by cdonovick over 5 years ago

#86 - Not implemented

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#85 - Add call back to set class name

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#84 - Update rebind_bitvector interface to match rebind

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#83 - Add utility functions for modifiers; Better type hierarchy

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#82 - Rebind does not work with modifiers

Issue - State: closed - Opened by rdaly525 over 5 years ago - 1 comment

#81 - Cannot construct product with fields that are modifiers.

Issue - State: closed - Opened by rdaly525 over 5 years ago - 1 comment

#80 - Make sure old style constructors fail properly

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#79 - Rebind strict

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#78 - Method to construct a default value on all ADT types and all BitVector Types

Issue - State: closed - Opened by rdaly525 over 5 years ago - 2 comments
Labels: question

#77 - Make identical products return the same type

Pull Request - State: closed - Opened by cdonovick over 5 years ago - 8 comments

#76 - [feature-request] Product types defined the same way should be the same object.

Issue - State: closed - Opened by rdaly525 over 5 years ago - 2 comments

#75 - Access Tuple types via field_dict or getattr

Issue - State: closed - Opened by rdaly525 over 5 years ago
Labels: enhancement, wontfix

#74 - rebind does not work as expected

Issue - State: closed - Opened by rdaly525 over 5 years ago - 1 comment

#73 - Rebind bv

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#72 - Rebind bv

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#71 - Possible ADT naming change for more consistency

Issue - State: open - Opened by rdaly525 over 5 years ago - 4 comments

#70 - Sum attrs

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#69 - Setting a non-field attribute of Sum or Product should error.

Issue - State: closed - Opened by rdaly525 over 5 years ago - 1 comment

#68 - [feature-request] Access and modify Sum types by name (similar API to Product)

Issue - State: closed - Opened by rdaly525 over 5 years ago

#67 - [feature-request] Sum.from_fields() constructor

Issue - State: closed - Opened by rdaly525 over 5 years ago - 2 comments

#66 - Rebind

Pull Request - State: closed - Opened by cdonovick over 5 years ago - 2 comments

#65 - [feature-request] rebind(new_family) method on ADT types

Issue - State: closed - Opened by rdaly525 over 5 years ago

#64 - Dynamic product

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#63 - Dynamic product

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#62 - Make field_dict and value_dict ordered for Product

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#61 - Ensure field names aren't used by the type machinery

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#60 - remove dead code

Pull Request - State: closed - Opened by cdonovick over 5 years ago

#58 - if 'value' is used as a field in Product, a stack overflow occurs

Issue - State: closed - Opened by rdaly525 over 5 years ago - 3 comments

#57 - getting the 'nth' field from an adt.Product

Issue - State: closed - Opened by rdaly525 over 5 years ago - 2 comments

#56 - [feature request] dynamic constructor for adt.Product

Issue - State: closed - Opened by rdaly525 over 5 years ago - 3 comments

GitHub / leonardt/hwtypes issues and pull requests