summaryrefslogtreecommitdiff
path: root/src/theory/arith/arith_priority_queue.cpp
AgeCommit message (Expand)Author
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-06-27Adding reduce() to the ArithPriorityQueue. This reduces the queue from a supe...Tim King
2012-06-14Brings the tuning branch into trunk. This includes the changes from restricte...Tim King
2012-02-28This commit merges in branches/arithmetic/internalbb up to revision 2831. Th...Tim King
2012-02-20portfolio mergeMorgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-04-18This commit merges the branch arithmetic/propagation-again into trunk.Tim King
2011-04-01This commit is a merge from the "betterstats" branch, which:Morgan Deters
2011-03-19Merges the pqueue-set branch into trunk. During VarOrder mode and Collection...Tim King
2011-02-27- Adds a path for Theory to be passed a reference to Options.Tim King
2011-02-25- This commit adds some debugging information to ArithPriorityQueue.Tim King
2011-02-24- Adds an additional round of checks for a conflict after the difference heur...Tim King
2011-02-24- Adds an additional mode to ArithPriorityQueue, Collection. Collection is a ...Tim King
2011-02-24- Changes ArithPriorityQueue to use stl::vector<>'s plus stl's heap algorithm...Tim King
2011-02-21- Adds the ArithPriorityQueue class. The ArithPriorityQueue class provides an...Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback