]> git.unchartedbackwaters.co.uk Git - francis/stp.git/shortlog
projects / francis / stp.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
francis/stp.git
2011-05-11 trevor_hansenBugfix. Arithmetic shifts by constants that didn't... commit | commitdiff | tree | snapshot
2011-05-11 trevor_hansenRevert the change to run_tests, I didn't mean to submit... commit | commitdiff | tree | snapshot
2011-05-11 trevor_hansenRemove the comment that 32-bit is best for arrays.... commit | commitdiff | tree | snapshot
2011-05-11 trevor_hansen Improvement. Add array size statistics when printing... commit | commitdiff | tree | snapshot
2011-05-11 trevor_hansenBugfix. Maybe. Disable a comparison so that CNF convers... commit | commitdiff | tree | snapshot
2011-05-09 trevor_hansenAdds two extra simplfication rules. commit | commitdiff | tree | snapshot
2011-05-09 trevor_hansenMore simplification rules. commit | commitdiff | tree | snapshot
2011-05-07 trevor_hansenExtra simplification rules for the simplifying node... commit | commitdiff | tree | snapshot
2011-05-07 trevor_hansenSigned division now returns what is should. Signed... commit | commitdiff | tree | snapshot
2011-05-07 trevor_hansenAdd a public function that calls sizeReducing until... commit | commitdiff | tree | snapshot
2011-05-05 trevor_hansenAdds an extra BVPLUS simplification rule. Cleans up... commit | commitdiff | tree | snapshot
2011-05-05 trevor_hansenImportant bugfix. r1291 through to this revision, about... commit | commitdiff | tree | snapshot
2011-05-05 trevor_hansenAdd an extra simplification rule. commit | commitdiff | tree | snapshot
2011-05-04 trevor_hansenReplace variables before calling the interval analysis. commit | commitdiff | tree | snapshot
2011-05-04 trevor_hansenFunction to reset the stopwatch. commit | commitdiff | tree | snapshot
2011-05-04 trevor_hansenAnother fix to the same commit | commitdiff | tree | snapshot
2011-05-04 trevor_hansenCorrect the last patch. I don't think this code runs. commit | commitdiff | tree | snapshot
2011-05-04 trevor_hansenApply simplifications through arrayterms too. commit | commitdiff | tree | snapshot
2011-05-02 trevor_hansenBugfix. Rarely we get the wrong answer; I got two broke... commit | commitdiff | tree | snapshot
2011-05-01 trevor_hansenCompiling with -D_GLIBCXX_DEBUG reported warnings becau... commit | commitdiff | tree | snapshot
2011-05-01 trevor_hansenCode to apply the alwaysTrueSet. Not currently enabled. commit | commitdiff | tree | snapshot
2011-05-01 trevor_hansenEnable bitblast simplifications by default commit | commitdiff | tree | snapshot
2011-04-30 trevor_hansenTurn off the ite-context simplification by default. commit | commitdiff | tree | snapshot
2011-04-30 trevor_hansenImportant Bugfix. The prior checkin sometimes, but... commit | commitdiff | tree | snapshot
2011-04-30 trevor_hansenBugfix. The last checkin caused an infinite loop (often). commit | commitdiff | tree | snapshot
2011-04-30 trevor_hansenExtra simplification rules commit | commitdiff | tree | snapshot
2011-04-30 trevor_hansenExtra simplification rules. commit | commitdiff | tree | snapshot
2011-04-30 trevor_hansenConvert subtraction to addition in the simplifying... commit | commitdiff | tree | snapshot
2011-04-29 trevor_hansenBugfix. Reads might have been simplified down which... commit | commitdiff | tree | snapshot
2011-04-27 trevor_hansenImportant Bugfix. The prior checkin causes the WRONG... commit | commitdiff | tree | snapshot
2011-04-27 trevor_hansenExtra simplification rules. In particular a simple... commit | commitdiff | tree | snapshot
2011-04-27 trevor_hansenAdd extra simplifying rules. commit | commitdiff | tree | snapshot
2011-04-27 trevor_hansenFix. I thought that extracts don't add any information... commit | commitdiff | tree | snapshot
2011-04-27 trevor_hansenRemove signed division, modulus and remainder when... commit | commitdiff | tree | snapshot
2011-04-26 trevor_hansenTwo extra simplification rules. commit | commitdiff | tree | snapshot
2011-04-21 trevor_hansenChange the sorting network based adder (which isn't... commit | commitdiff | tree | snapshot
2011-04-20 trevor_hansenRefactor. Less verbose. commit | commitdiff | tree | snapshot
2011-04-20 trevor_hansenImprovement. Add a warning when parsing problems that... commit | commitdiff | tree | snapshot
2011-04-16 trevor_hansenExtra upfront simplification rules. commit | commitdiff | tree | snapshot
2011-04-14 trevor_hansenAdd some missing simplification rules for AND/OR/ propo... commit | commitdiff | tree | snapshot
2011-04-14 trevor_hansenShortcut in a rare circumstance. commit | commitdiff | tree | snapshot
2011-04-14 trevor_hansenExtra BVXOR simplification rules. commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenAdds the reverse of rules to catch an obscure but impor... commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenImprovement. Add a warning message when using --exit... commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenImprovement. Fix the difficulty score for subtraction. commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenFix the build. Without -NDEBUG wouldn't compile. commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenImprovement. Look for nodes that are true/false when... commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenRemove some assertions that don't necessarily hold. commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenImprovement. Replace the hashing node factory with... commit | commitdiff | tree | snapshot
2011-04-13 trevor_hansenExtra simplification rule. commit | commitdiff | tree | snapshot
2011-04-11 trevor_hansenoops. Meant to add this too. commit | commitdiff | tree | snapshot
2011-04-11 trevor_hansenAdd an extra simplification rule to the simplifying... commit | commitdiff | tree | snapshot
2011-04-11 trevor_hansenMove some division be zero code into the bitblaster... commit | commitdiff | tree | snapshot
2011-04-10 trevor_hansenAdds code, that's not currently enabled, to read-out... commit | commitdiff | tree | snapshot
2011-04-10 trevor_hansenImprovement. Use the simplifying node factory in transf... commit | commitdiff | tree | snapshot
2011-04-10 trevor_hansenRevert the previous revision. It broke lots. commit | commitdiff | tree | snapshot
2011-04-08 trevor_hansenImprovement. Use the simplifying node factory in transf... commit | commitdiff | tree | snapshot
2011-04-08 trevor_hansenImprovement. Don't add NOT FALSE at the end of the... commit | commitdiff | tree | snapshot
2011-04-07 trevor_hansenImprovement. When a node is simplified set a value... commit | commitdiff | tree | snapshot
2011-04-07 trevor_hansenImprovement. Output the time spent in a stage with -s. commit | commitdiff | tree | snapshot
2011-04-07 trevor_hansenHack. The ITE context simplification blows out ff.stp... commit | commitdiff | tree | snapshot
2011-04-07 trevor_hansenRevert. I didn't mean to checkin all those changes. commit | commitdiff | tree | snapshot
2011-04-07 trevor_hansenHack. The ITE context simplification blows out ff.stp... commit | commitdiff | tree | snapshot
2011-04-06 trevor_hansenRemove junk. commit | commitdiff | tree | snapshot
2011-04-06 trevor_hansenImprove the bvsolver.If the substitution of a monomial... commit | commitdiff | tree | snapshot
2011-04-06 trevor_hansenRefactor. Remove junk. commit | commitdiff | tree | snapshot
2011-04-03 trevor_hansenImprovement. Some extra simplifications for the simplif... commit | commitdiff | tree | snapshot
2011-04-03 trevor_hansenImprovement. The simplifying node factory never creates... commit | commitdiff | tree | snapshot
2011-03-31 trevor_hansenTiny improvement. Add the one-bit operations that evalu... commit | commitdiff | tree | snapshot
2011-03-31 trevor_hansenSmall improvement. Discard the inner write if the two... commit | commitdiff | tree | snapshot
2011-03-29 trevor_hansenWork around rare problem caused by the simplifying... commit | commitdiff | tree | snapshot
2011-03-28 trevor_hansenMake applySubstitutionMap idempotent (I hope). commit | commitdiff | tree | snapshot
2011-03-28 trevor_hansenImprovement. The simplifying node factory now eliminate... commit | commitdiff | tree | snapshot
2011-03-28 trevor_hansenDuring the size reducing transformations, now set the... commit | commitdiff | tree | snapshot
2011-03-28 trevor_hansenChange the names for some statistics. commit | commitdiff | tree | snapshot
2011-03-28 trevor_hansenExtra simplification rule for BVXOR. commit | commitdiff | tree | snapshot
2011-03-27 trevor_hansenAdd experimental code (not presently enabled), that... commit | commitdiff | tree | snapshot
2011-03-26 trevor_hansenImprovement. The simplifying node factory no longer... commit | commitdiff | tree | snapshot
2011-03-25 trevor_hansenImprovement. Convert left/right (NOT aritmetic), shifts... commit | commitdiff | tree | snapshot
2011-03-25 trevor_hansenImprovement. Better unsigned interval propagation of... commit | commitdiff | tree | snapshot
2011-03-25 trevor_hansenFix remove an extra pair of brackets from LETs. Thanks... commit | commitdiff | tree | snapshot
2011-03-24 trevor_hansenSlight speedup to the hashing node factory. commit | commitdiff | tree | snapshot
2011-03-24 trevor_hansenImprovement. Create fewer objects. commit | commitdiff | tree | snapshot
2011-03-24 trevor_hansenImprovement. No longer have vectors in the ASTSymbol... commit | commitdiff | tree | snapshot
2011-03-23 trevor_hansenSpeedup. Short cut before some copies were created. commit | commitdiff | tree | snapshot
2011-03-23 trevor_hansenMove CVC parser to using strings for LET names. Removes... commit | commitdiff | tree | snapshot
2011-03-23 trevor_hansenImprovement. SMTLIB2 lets now use strings for names... commit | commitdiff | tree | snapshot
2011-03-23 trevor_hansenFix the SMTLIB1 to not accept badly formed input. Previ... commit | commitdiff | tree | snapshot
2011-03-23 trevor_hansenIf there are unapplied substitutions before starting... commit | commitdiff | tree | snapshot
2011-03-23 trevor_hansenRefactor. Changes to whitespace only. commit | commitdiff | tree | snapshot
2011-03-23 trevor_hansenRefactor. A new function to check if there are unapplie... commit | commitdiff | tree | snapshot
2011-03-23 trevor_hansenNow assume there will be no unapplied substitutions... commit | commitdiff | tree | snapshot
2011-03-23 trevor_hansenRefactor. Convert from if-then-else to a switch. commit | commitdiff | tree | snapshot
2011-03-21 trevor_hansenAdds extra cases to the simplifying node factory. commit | commitdiff | tree | snapshot
2011-03-21 trevor_hansenFix division by zero results. x % 0, now equals x. commit | commitdiff | tree | snapshot
2011-03-20 trevor_hansenFix. x bvmod 0, now evaluates to x, not to 0. commit | commitdiff | tree | snapshot
2011-03-20 trevor_hansenImprovement. More cases for the simplifying node factory. commit | commitdiff | tree | snapshot
2011-03-18 trevor_hansenRemove debugging printf. commit | commitdiff | tree | snapshot
2011-03-18 trevor_hansenTest case for r1217. commit | commitdiff | tree | snapshot
2011-03-18 trevor_hansenImprovement. Pull bvsx through multiplication, signed... commit | commitdiff | tree | snapshot
next
STP Constraint Solver.