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

#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

#137 - Clobber previous writes at the same address in underlying layers.

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