Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Symbolica/Symbolica issues and pull requests
#219 - Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows
Pull Request -
State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies
#218 - Improve console output
Issue -
State: open - Opened by richthornton over 1 year ago
#217 - Add quick-start instructions to Readme
Pull Request -
State: open - Opened by richthornton over 1 year ago
#216 - Get rid of stack result.
Pull Request -
State: open - Opened by iscottb122 over 2 years ago
#215 - Return a block from a read.
Pull Request -
State: open - Opened by iscottb122 over 2 years ago
#214 - Equatable IExpression
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
- 1 comment
#213 - Use the structual equality stuff for AND, OR, XOR.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#212 - Store the arguments of a call explicitly as an array.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#211 - Bring back the weird SetItems premature optimization.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#210 - Put read and write back the way they were.
Pull Request -
State: open - Opened by iscottb122 over 2 years ago
#209 - Put memset back the way it was.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#208 - Use bytes for types instead of bits.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#207 - Get rid of the weird SetItems premature optimization.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#206 - Use types for GEP/IV/EV instead of Deserialization madness.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#205 - Make IPersistentList an IReadOnlyCollection instead of IEnumerable.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#204 - Get rid of StructElement nonsense since we already have type.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#203 - Remove unused usings.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
- 1 comment
#202 - Remove IExpression.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#201 - Try merging Bits and Bytes into just Size.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#200 - Update buffer on each loop iteration in memset.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#199 - Add CreateZero to ISpace.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#198 - Write whole block in MemorySet rather than each byte individually.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#197 - Improve equality of constant values by using common representation.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
- 1 comment
#196 - Use the new zero everywhere.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#195 - Short circuit Subtract when left and right are equivalent expressions.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#194 - Short circuit Select when consequent and alternative are equivalent expressions.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#193 - Add a solver which will only go symbolic when necessary.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#192 - Make IValue extend IEquatable<IValue>.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#191 - Upgrade to a version of Z3 which should dispose internally.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#190 - Stick a create verb on the proposition methods.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#189 - Move the NaN special case check into float itself.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
- 1 comment
#188 - Use solver for single value instead of attempting to extract numeric.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
- 2 comments
#187 - It's really just a solver that exposes its Context!
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#186 - Generate the Exprs from IValues inside Context.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#185 - Wrap all Z3Objects in a using statement.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#184 - Flatten constraints into just context.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#183 - Promote MaxParallelism of StatePool to a command line option.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#182 - Just use the pooled context everywhere, redux.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#181 - Make the space own the constraints, and thus context.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#180 - Make all IValue implementations Records to get structural equality.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#179 - Use System.CommandLine to parse command line args in Program.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#178 - Make constant things on expressions on values more explicit.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#177 - Throttle max parallelism to prevent resource starvation.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#176 - Remove IValue AsConstant and just check for the Float special case.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#175 - Always go via constraints when dealing with contexts.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
- 1 comment
#174 - Short circuit Multiply when either size is Zero.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#173 - Use associativity to merge constants in adjacent Multiply values.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#172 - Use associativity to merge constants in adjacent Adds.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#171 - Short circuit Select when consequent and alternative are equal constants.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#170 - Short circuit Subtract when rhs is zero.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#169 - Short circuit Multiply when either side is one.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#168 - Just use the pooled context everywhere.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#167 - Ensure bitwise logical operators short circuit in the associative case.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#166 - Short circuit Add when either side is zero.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#165 - Short circuit ShiftLeft when the value is zero.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#164 - Short circuit ArithmeticShiftRight when the value is zero.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#163 - Short circuit LogicalShiftRight when the value is zero.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#162 - Short circuit SignExtend at the value layer.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#161 - Short circuit ShiftLeft when offset is zero.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#160 - Short circuit LogicalShiftRight when offset is zero.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#160 - Short circuit LogicalShiftRight when offset is zero.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#160 - Short circuit LogicalShiftRight when offset is zero.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#159 - Short circuit ArithmeticShiftRight when offset is zero.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#159 - Short circuit ArithmeticShiftRight when offset is zero.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#158 - Short circuit ZeroExtend at the Value layer.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#157 - Short circuit Truncate at the Value layer.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#157 - Short circuit Truncate at the Value layer.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#157 - Short circuit Truncate at the Value layer.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#156 - Fix horrendous error of negating an assertion bitwise.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#156 - Fix horrendous error of negating an assertion bitwise.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#156 - Fix horrendous error of negating an assertion bitwise.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#155 - Mighty gep
Pull Request -
State: open - Opened by Choc13 over 2 years ago
#154 - Flatten assertions into space.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#153 - Enforce the correct size for a ConstantBitVector.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#152 - Encapsulate assertions so minimal interface can be passed to values.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#152 - Encapsulate assertions so minimal interface can be passed to values.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#151 - Rename the Expression creation helper methods to just Create.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#150 - Stop throwing generic Exceptions from Computation domain.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
- 1 comment
#149 - Finally take assertions off of Expression.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#148 - Rename model to constraints.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#147 - Fix bug where NOT (and some XOR) are not treated as bitwise.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#146 - Rewrite associativity as switches.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#145 - Use associativity of bool operators to merge constant values.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#144 - Refactor Create methods for bool operator values.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago
#143 - Segregate creation methods on context by type constraint.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#142 - Flatten abstractions to customize Computation from Application layer.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#142 - Flatten abstractions to customize Computation from Application layer.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#142 - Flatten abstractions to customize Computation from Application layer.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#141 - Create an IContext interface to encapsulate any additional behaviour.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#141 - Create an IContext interface to encapsulate any additional behaviour.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#141 - Create an IContext interface to encapsulate any additional behaviour.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#140 - Fix bug where AND and XOR are not treated as bitwise.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#140 - Fix bug where AND and XOR are not treated as bitwise.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#140 - Fix bug where AND and XOR are not treated as bitwise.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#139 - Actually use the value polymorphism to avoid float type matching.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
- 1 comment
#139 - Actually use the value polymorphism to avoid float type matching.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
- 1 comment
#139 - Actually use the value polymorphism to avoid float type matching.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
- 1 comment
#138 - Only keep lambda helpers for floats since the others are pointless now.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#138 - Only keep lambda helpers for floats since the others are pointless now.
Pull Request -
State: closed - Opened by iscottb122 over 2 years ago
#137 - Clobber previous writes at the same address in underlying layers.
Pull Request -
State: closed - Opened by Choc13 over 2 years ago