git.libre-soc.org Git - cvc5.git/history - src/theory/arith/arith_priority

2011-04-18	Tim King	This commit merges the branch arithmetic/propagation...	blob \| commitdiff \| raw
2011-04-01	Morgan Deters	This commit is a merge from the "betterstats" branch...	blob \| commitdiff \| raw \| diff to current
2011-03-19	Tim King	Merges the pqueue-set branch into trunk. During VarOrd...	blob \| commitdiff \| raw \| diff to current
2011-02-27	Tim King	- Adds a path for Theory to be passed a reference to...	blob \| commitdiff \| raw \| diff to current
2011-02-25	Tim King	- This commit adds some debugging information to ArithP...	blob \| commitdiff \| raw \| diff to current
2011-02-24	Tim King	- Adds an additional round of checks for a conflict...	blob \| commitdiff \| raw \| diff to current
2011-02-24	Tim King	- Adds an additional mode to ArithPriorityQueue, Collec...	blob \| commitdiff \| raw \| diff to current
2011-02-24	Tim King	- Changes ArithPriorityQueue to use stl::vector<>'s...	blob \| commitdiff \| raw \| diff to current
2011-02-21	Tim King	- Adds the ArithPriorityQueue class. The ArithPriorityQ...	blob \| commitdiff \| raw \| diff to current